Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Automatic Correctness Proofs for Logic Program Transformations
ICLP, 2007.
@inproceedings{ICLP-2007-PettorossiPS, author = "Alberto Pettorossi and Maurizio Proietti and Valerio Senni", booktitle = "{Proceedings of the 23rd International Conference on Logic Programming}", doi = "10.1007/978-3-540-74610-2_25", isbn = "978-3-540-74608-9", pages = "364--379", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Automatic Correctness Proofs for Logic Program Transformations}", volume = 4670, year = 2007, }