Four Decades of Mizar. - Grabowski, Adam; Korniłowicz, Artur; Naumowicz, Adam (Journal of Automated Reasoning, 2015)