Alberto Pettorossi, Maurizio Proietti
A theory of totally correct logic program transformations
PEPM, 2004.
@inproceedings{PEPM-2004-PettorossiP, author = "Alberto Pettorossi and Maurizio Proietti", booktitle = "{Proceedings of the 10th Workshop on Partial Evaluation and Semantics-Based Program Manipulation}", doi = "10.1145/1014007.1014023", isbn = "1-58113-835-0", pages = "159--168", publisher = "{ACM}", title = "{A theory of totally correct logic program transformations}", year = 2004, }