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]
Abstract is missing.