Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.

Elvira Albert Germán Puebla John P. Gallagher Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. 115-132 2005 conf/lopstr/2005 LOPSTR http://dx.doi.org/10.1007/11680093_8 db/conf/lopstr/lopstr2005.html#AlbertPG05