Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (2006)

by E Albert, G Puebla, J Gallagher
Venue:In Proc. of LOPSTR’05. Springer LNCS 3901