Jakob Grue Simonsen. The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity). In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, BrasÃlia, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 335-349, Springer, 2009. [doi]
Abstract is missing.