Transfolmation of Logic Programs (1994)

by A Pettorossi, M Proietti
Venue:Foundations and Techniques”, The Joumal of Logic Programming, $\mathrm{V}\mathrm{o}\mathrm{l}.19/20