The Mizar mathematical library in OMDoc: Translation and applications - Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef (Journal of Automated Reasoning, 2013)
Keywords: Logical frameworks; Math search; Mizar; OMDoc; Representation; Translation