Alberto Pettorossi, Maurizio Proietti, Valerio Senni. A Transformation Strategy for Verifying Logic Programs on Infinite Lists. In Wolfgang Faber, Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. Volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
@inproceedings{PettorossiPS10-0, title = {A Transformation Strategy for Verifying Logic Programs on Infinite Lists}, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, year = {2010}, url = {http://ceur-ws.org/Vol-598/paper05.pdf}, researchr = {https://researchr.org/publication/PettorossiPS10-0}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, editor = {Wolfgang Faber and Nicola Leone}, volume = {598}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }