APA (7th ed.) Citation

Kaliszyk, C., & Pąk, K. (2019). Semantics of Mizar as an Isabelle Object Logic. Journal of Automated Reasoning, 63(3), 557. https://doi.org/10.1007/s10817-018-9479-z

Chicago Style (17th ed.) Citation

Kaliszyk, Cezary, and Karol Pąk. "Semantics of Mizar as an Isabelle Object Logic." Journal of Automated Reasoning 63, no. 3 (2019): 557. https://doi.org/10.1007/s10817-018-9479-z.

MLA (9th ed.) Citation

Kaliszyk, Cezary, and Karol Pąk. "Semantics of Mizar as an Isabelle Object Logic." Journal of Automated Reasoning, vol. 63, no. 3, 2019, p. 557, https://doi.org/10.1007/s10817-018-9479-z.