author = {Franz Winkler},
title = {{The Church-Rosser Property in Computer Algebra and Special Theorem Proving}},
language = {english},
year = {1984},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0},
type = {phdthesis}