The Π 0 2-completeness of most of the properties of rewriting you care about (and productivity (2009)

by J G Simonsen
Venue:Proceedings of the 20th Conference on Rewriting Techniques and Applications (RTA