Transformation of Logic Programs (1998)

by A Pettorossi, M Proietti
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming