Enhancing Partial Deduction via Unfold/Fold Rules (1997)

by A Pettorossi, M Proietti, S Renault
Venue:Logic Program Synthesis and Transformation (LOPSTR’96), LNCS 1207