The Church Rosser Property in computer algebra and special theorem proving an investigation of critical pair, completion algorithms - Winkler, Franz (Dissertationen der Johannes Kepler-Universität Linz, 1984)