Josef Urban MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics. 414-427 2006 4 J. Applied Logic 4 http://dx.doi.org/10.1016/j.jal.2005.10.004 db/journals/japll/japll4.html#Urban06