Transformation of Logic Programs (1998)

by Alberto Pettorossi, Maurizio Proietti
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming