Synthesis and transformation of logic programs using unfold/fold proofs (1999)

by A Pettorossi, M Proietti
Venue:Journal of Logic Programming