APA (7th ed.) Citation

Richter, W., Grabowski, A., & Alama, J. (2014). Tarski Geometry Axioms. Formalized Mathematics, 22(2), 167. https://doi.org/10.2478/forma-2014-0017

Chicago Style (17th ed.) Citation

Richter, William, Adam Grabowski, and Jesse Alama. "Tarski Geometry Axioms." Formalized Mathematics 22, no. 2 (2014): 167. https://doi.org/10.2478/forma-2014-0017.

MLA (9th ed.) Citation

Richter, William, et al. "Tarski Geometry Axioms." Formalized Mathematics, vol. 22, no. 2, 2014, p. 167, https://doi.org/10.2478/forma-2014-0017.