@phdthesis{RISC2363,
author = {Florina Piroi},
title = {{Tools for Using Automated Provers in Mathematical Theory Exploration}},
language = {english},
year = {2004},
month = {August},
note = {Also available as RISC Tech Report no. 04-12},
translation = {0},
school = {Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria},
length = {102},
url = {http://www.risc.uni-linz.ac.at/publications/download/risc_1258/04-12.ps.gz}
}