The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithmsFranz WinklerAusverkauft4,3Bewachen
