C. O. Du'nlaing, Matthias Jantzen, and B. Monien.
On the complexity of word problems in certain Thue systems.
In Mathematical Foundations of Computer Science. Proceedings,
10th Symposium Štrbské Pleso, Czechoslovakia August 31 - September
4, 1981, volume 118 of Lecture Notes in Computer Science, pages
216-251, Berlin, Heidelberg, New York, 1981. Springer-Verlag.
@INPROCEEDINGS{Jantzen+81c, AUTHOR = {Du'nlaing, C. O. and Jantzen, Matthias and Monien, B.}, ADDRESS = Springer.addr, PAGES = {216--251}, PUBLISHER = Springer, SERIES = LNCS, BOOKTITLE = {Mathematical Foundations of Computer Science. Proceedings, 10th Symposium {\v S}trbsk{\'e} Pleso, Czechoslovakia August 31 -- September 4, 1981}, VOLUME = {118}, TITLE = {On the complexity of word problems in certain {Thue} systems}, YEAR = 1981, XDOI = {10.1007/3-540-10856-4}, ISBN = {978-3-540-10856-6} }