Bruno Buchberger Adrian Craciun Tudor Jebelean Laura Kovács Temur Kutsia Koji Nakagawa Florina Piroi Nikolaj Popov Judit Robu Markus Rosenkranz Theorema: Towards computer-aided mathematical theory exploration. 470-504 2006 4 J. Applied Logic 4 http://dx.doi.org/10.1016/j.jal.2005.10.006 db/journals/japll/japll4.html#BuchbergerCJKKNPPRR06