Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco. Undecidability of Chop. In 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. pages 79-89, IEEE, 2015. [doi]
@inproceedings{MontanariMS15, title = {Undecidability of Chop}, author = {Angelo Montanari and Emilio Muñoz-Velasco and Guido Sciavicco}, year = {2015}, doi = {10.1109/TIME.2015.25}, url = {http://dx.doi.org/10.1109/TIME.2015.25}, researchr = {https://researchr.org/publication/MontanariMS15}, cites = {0}, citedby = {0}, pages = {79-89}, booktitle = {22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015}, publisher = {IEEE}, isbn = {978-1-4673-9317-1}, }