The Church Rosser property in computer algebra and special theorem proving | lit.salon