The following publications are possibly variants of this publication:
- Licensing the Mizar Mathematical LibraryJesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban. mkm 2011: 149-163 [doi]
- The Role of the Mizar Mathematical Library for Interactive Proof Development in MizarGrzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak. JAR, 61(1-4):9-32, 2018. [doi]
- Evaluation of Automated Theorem Proving on the Mizar Mathematical LibraryJosef Urban, Krystof Hoder, Andrei Voronkov. icms 2010: 155-166 [doi]
- The Mizar Mathematical Library in OMDoc: Translation and ApplicationsMihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban. JAR, 50(2):191-202, 2013. [doi]
- Extracting Higher-Order Goals from the Mizar Mathematical LibraryChad E. Brown, Josef Urban. mkm 2016: 99-114 [doi]