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}
}