@phdthesis{RISC4117,
author = {Judit Robu},
title = {{Automated Geometric Theorem Proving in the Frame of the Theorema Project}},
language = {english},
year = {2002},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0}
}