The Power of the Church-Rosser Property for String Rewriting Systems.

Ronald V. Book

Browse the full CADE paper archive.