OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] - Kohlhase, Michael; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Artificial Intelligence