49

P. III.688
Hin kl er, Franz: The Church-RosserProperty 
in computer algebra and special 
theorem proving. An investigation of 
critical pair, completion algorithms. 

80

/l'Jit Abb./ -\-lien: V\-lGö 1984. 193 S. 

(Dissertationen d. Johannes K epler Univ. 
LTnz. 49.)