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

Elvira Albert, Germn Puebla, John P. Gallagher

Browse the full LOPSTR paper archive.