Alberto Pettorossi, Maurizio Proietti. A theory of totally correct logic program transformations. In Nevin Heintze, Peter Sestoft, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. pages 159-168, ACM, 2004. [doi]
@inproceedings{PettorossiP04:0,
title = {A theory of totally correct logic program transformations},
author = {Alberto Pettorossi and Maurizio Proietti},
year = {2004},
doi = {10.1145/1014007.1014023},
url = {http://doi.acm.org/10.1145/1014007.1014023},
tags = {logic programming, logic, transformation, program transformation},
researchr = {https://researchr.org/publication/PettorossiP04%3A0},
cites = {0},
citedby = {0},
pages = {159-168},
booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004},
editor = {Nevin Heintze and Peter Sestoft},
publisher = {ACM},
isbn = {1-58113-835-0},
}