Ronald V. Book:
When is a Monoid a Group? The Church-Rosser Case is Tractable.
325-331 BibTeX
Sorin Istrail:
Generalization of the Ginsburg-Rice Schützenberger Fixed-Point Theorem for Context-Sensitive and Recursive-Enumerable Languages.
333-341 BibTeX