Winfried Kurth. Termination und Konfluenz von Semi-Thue-Systemen mit nur einer Regel. PhD thesis, Clausthal University of Technology, Clausthal-Zellerfeld, Lower Saxony, Germany, 1990. [doi]
No references recorded for this publication.
No citations of this publication recorded.