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

by Elvira Albert , Germán Puebla , John Gallagher
Venue:In Proc. of LOPSTR’05. Springer LNCS 3901
Citations:14 - 10 self