The church rosser property in computer algebra and special Theorem proving - An investigation of critical pair, completion algorithms. (= Dissertationen der Johannes-Kepler-Universität, 49).