Armando B. Matos, Luca Paolini, Luca Roversi. The Fixed Point Problem for General and for Linear SRL Programs is Undecidable. In Alessandro Aldini, Marco Bernardo 0001, editors, Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018. Volume 2243 of CEUR Workshop Proceedings, pages 128-139, CEUR-WS.org, 2018. [doi]
@inproceedings{MatosPR18,
title = {The Fixed Point Problem for General and for Linear SRL Programs is Undecidable},
author = {Armando B. Matos and Luca Paolini and Luca Roversi},
year = {2018},
url = {http://ceur-ws.org/Vol-2243/paper12.pdf},
researchr = {https://researchr.org/publication/MatosPR18},
cites = {0},
citedby = {0},
pages = {128-139},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018},
editor = {Alessandro Aldini and Marco Bernardo 0001},
volume = {2243},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}