Some Remarks on Presentations by Finite Church-Rosser Thue Systems.

Volker Diekert

Browse the full STACS paper archive.