APA (7th ed.) Citation

Trybulec, A., Kornilowicz, A., Naumowicz, A., & Kuperberg, K. (2013). Formal Mathematics for Mathematicians. Journal of Automated Reasoning, 50(2), 119. https://doi.org/10.1007/s10817-012-9268-z

Chicago Style (17th ed.) Citation

Trybulec, Andrzej, Artur Kornilowicz, Adam Naumowicz, and Krystyna Kuperberg. "Formal Mathematics for Mathematicians." Journal of Automated Reasoning 50, no. 2 (2013): 119. https://doi.org/10.1007/s10817-012-9268-z.

MLA (9th ed.) Citation

Trybulec, Andrzej, et al. "Formal Mathematics for Mathematicians." Journal of Automated Reasoning, vol. 50, no. 2, 2013, p. 119, https://doi.org/10.1007/s10817-012-9268-z.