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

by Elvira Albert , John Gallagher
Venue:In 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’05), number 3901 in LNCS
Citations:15 - 11 self