The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithmsFranz WinklerÉpuisé4,3Prévenez-moi
