Program Derivation = Rules + Strategies (2002)

by A Pettorossi, M Proietti
Venue:Computational Logic: Logic Programming and Beyond (Essays in honour of Bob Kowalski, Part I), Lecture Notes in Computer Science 2407