Aart Middeldorp, Bernhard Gramlich. Simple Termination is Difficult. In Claude Kirchner, editor, Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Volume 690 of Lecture Notes in Computer Science, pages 228-242, Springer, 1993.
@inproceedings{MiddeldorpG93,
title = {Simple Termination is Difficult},
author = {Aart Middeldorp and Bernhard Gramlich},
year = {1993},
tags = {termination},
researchr = {https://researchr.org/publication/MiddeldorpG93},
cites = {0},
citedby = {0},
pages = {228-242},
booktitle = {Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings},
editor = {Claude Kirchner},
volume = {690},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56868-9},
}