"Some Undecidable Termination Problems for Semi-Thue Systems (Abstract)."

Géraud Sénizergues (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics