Florina Piroi, Bruno Buchberger, Camelia Rosenkranz,
"Mathematical Journals as Reasoning Agents: Literature Review"
, Serie RISC Report Series, Nummer 08-05, RISC, JKU-Linz, Schloss Hagenberg, 4232 Hagenberg, 3-2008
Original Titel:
Mathematical Journals as Reasoning Agents: Literature Review