格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk，卡罗尔;约瑟夫·乌尔班 Mizar：最先进和超越。 （英语） Zbl 1417.68201号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 261-279 (2015).MSC公司：68立方英尺 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}等人，Lect。注释计算。科学。9150261--279（2015；Zbl 1417.68201） 全文： 内政部
约瑟夫·乌尔班;格拉泽戈兹·班塞雷克 介绍并解释Mizar。 （英语） Zbl 1278.68283号 Autexier，Serge（编辑）等人，第七届定理证明器用户界面研讨会论文集（UITP 2006），西雅图，华盛顿州，美国，2006年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第2期，63-74（2007）。MSC公司：第68页第15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Urban}和\textit{G.Bancerek}，电子。注释Theor。计算。科学。174，编号2，63--74（2007；Zbl 1278.68283） 全文： 内政部
约瑟夫·乌尔班 MPTP 0.2：设计、实施和初步实验。 （英语） 兹比尔1113.68095 J.汽车。推理 37，编号1-2，21-43（2006）.MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit｛J.Urban｝，J.Autom。推理37，No.1--2，21-43（2006；Zbl 1113.68095） 全文： 内政部