@trcsuniwue

Confluence of one-rule Thue systems.

. Technical Report, 24. Department of Computer Science, (January 1991)

Links and resources

Tags