M.: Transformation of logic programs (1998)

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