Bruno Buchberger, R. McCasland, Adrian Craciun,
"Automatheo 2009: Proceedings of the Workshop on Automated Mathematical Theory Exploration"
, Serie RISC Report Series, Nummer 09-12, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 6-2009
Original Titel:
Automatheo 2009: Proceedings of the Workshop on Automated Mathematical Theory Exploration