APA (7th ed.) Citation

Coghetto, R., & Grabowski, A. (2017). Tarski Geometry Axioms. Part III. Formalized Mathematics, 25(4), 289. https://doi.org/10.1515/forma-2017-0028

Chicago Style (17th ed.) Citation

Coghetto, Roland, and Adam Grabowski. "Tarski Geometry Axioms. Part III." Formalized Mathematics 25, no. 4 (2017): 289. https://doi.org/10.1515/forma-2017-0028.

MLA (9th ed.) Citation

Coghetto, Roland, and Adam Grabowski. "Tarski Geometry Axioms. Part III." Formalized Mathematics, vol. 25, no. 4, 2017, p. 289, https://doi.org/10.1515/forma-2017-0028.