Alberto Pettorossi Maurizio Proietti Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. 121-210 2005 18 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-005-7008-3 db/journals/lisp/lisp18.html#PettorossiPR05