The Church-Rosser Property and Special Thue Systems

Deepak Kapur, Paliath Narendran, Mukkai S. Krishnamoorthy, Robert McNaughton. The Church-Rosser Property and Special Thue Systems. Theoretical Computer Science, 39:123-133, 1985.

Abstract

Abstract is missing.