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

Elvira Albert, Germán Puebla, John P. Gallagher (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics