Enhancing partial deduction via unfold/fold rules (1997)

by A Pettorossi, M Proietti, S Renault
Venue:Proceedings of Logic Program Synthesis and Transformation, 6th International Workshop, volume 1207 of LNCS