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