The Church-Rosser Property for Ground Term Rewriting Systems is Decidable (1987)

by M Oyamaguchi
Venue:Theoretical Computer Science