Grabowski, Adam, Artur Kornilowicz, and Adam Naumowicz. “Mizar in a Nutshell”. Journal of Formalized Reasoning 3, no. 2 (January 1, 2010): 153–245. Accessed January 28, 2022. https://jfr.unibo.it/article/view/1980.