Transformation of logic programs: foundations and techniques (1994)

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