Camelia Rosenkranz,
"Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema"
, Serie RISC Report Series, Nummer 09-04, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 2-2009
Original Titel:
Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema