<bibtex> @phdthesis{kurth90,
author = {Winfried Kurth}, title = {Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel}, school = {Technische Universität Clausthal} year = {1990}
} </bibtex>
