<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Urban, Josef / Rudnicki, Piotr / Sutcliffe, Geoff </hi>(2013): "ATP and presentation service for Mizar formalizations", in: <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Journal of Automated Reasoning</hi> 50 (2): 229-241.