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)