Florina Piroi,
"Tools for Using Automated Provers in Mathematical Theory Exploration"
, Serie RISC Report Series, Nummer 04-12, RISC, University of Linz, Austria, 8-2004
Original Titel:
Tools for Using Automated Provers in Mathematical Theory Exploration