Alberto Pettorossi, Maurizio Proietti. Program Derivation = Rules + Strategies. In Antonis C. Kakas, Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Volume 2407 of Lecture Notes in Computer Science, pages 273-309, Springer, 2002. [doi]
@inproceedings{PettorossiP02, title = {Program Derivation = Rules + Strategies}, author = {Alberto Pettorossi and Maurizio Proietti}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2407/24070273.htm}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/PettorossiP02}, cites = {0}, citedby = {0}, pages = {273-309}, booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I}, editor = {Antonis C. Kakas and Fariba Sadri}, volume = {2407}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43959-5}, }