APA (7th ed.) Citation

Grabowski, A., Korniłowicz, A., & Naumowicz, A. (2015). Four Decades of Mizar. Journal of Automated Reasoning, 55(3), 191. https://doi.org/10.1007/s10817-015-9345-1

Chicago Style (17th ed.) Citation

Grabowski, Adam, Artur Korniłowicz, and Adam Naumowicz. "Four Decades of Mizar." Journal of Automated Reasoning 55, no. 3 (2015): 191. https://doi.org/10.1007/s10817-015-9345-1.

MLA (9th ed.) Citation

Grabowski, Adam, et al. "Four Decades of Mizar." Journal of Automated Reasoning, vol. 55, no. 3, 2015, p. 191, https://doi.org/10.1007/s10817-015-9345-1.