KAT papers
The Blue Notes of the SMGloM project
Deliverable 4.2
Related Work for FrameIT
The Manuals and Documentation of the SMGloM project
Blue note for finding formula schemata.
The MathWebSearch Manual