Transformation of Logic Programs: Foundations and Techniques (1994)

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