Josef Urban XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. 346-360 2005 conf/mkm/2005 MKM http://dx.doi.org/10.1007/11618027_23 db/conf/mkm/mkm2005.html#Urban05