author = {Bernhard Kutzler},
title = {{Algebraic Approaches to Automated Geometry Theorem Proving}},
language = {english},
year = {1988},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0},
type = {phdthesis}