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

by E Albert, G Puebla, J Gallagher
Venue:In 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’05), number 3901 in LNCS