Improving Mizar Texts with Properties and Requirements. - Adam Naumowicz; Czeslaw Bylinski (MKM, 2004)

New Developments in Parsing Mizar. - Czeslaw Bylinski; Jesse Alama (AISC/MKM/Calculemus, 2012)

Morphology for Image Processing. Part I. - Hiroshi Yamazaki; Czeslaw Bylinski; Katsumi Wasaki (Formaliz. Math., 2012)

Mizar: State-of-the-art and Beyond. - Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Roman Matuszewski; Adam Naumowicz; Karol Pak; Josef Urban (CICM, 2015)

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. - Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Roman Matuszewski; Adam Naumowicz; Karol Pak (J. Autom. Reason., 2018)

Syntactic-Semantic Form of Mizar Articles. - Czeslaw Bylinski; Artur Kornilowicz; Adam Naumowicz (ITP, 2021)