Developing Correct and Efficient Logic Programs by (1996)

by A Pettorossi, M Proietti
Venue:Transformation” Knowledge Engineering Review