author = {F. Winkler},
title = {{The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms}},
language = {english},
publisher = {Verband der Wissenschaftlichen Gesellschaften Österreichs},
isbn_issn = {ISBN 3-85369-584-1},
year = {1984},
note = {Ph.D. dissertation},
edition = {1},
translation = {0},
length = {0}