A.: Spes: A System for Logic Program Transformation (1992)

by F Alexandre, K Bsäıes, J P Finance, Quéré
Venue:In Proceedings of the International Conference on Logic Programming and Automated Reasoning, LPAR ’92, Lecture Notes in Computer Science 624