Transformation of logic programs: Foundations and techniques (1994)

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