APA (7th ed.) Citation

Coghetto, R., & Grabowski, A. (2019). Tarski Geometry Axioms. Part IV – Right Angle. Formalized Mathematics, 27(1), 75. https://doi.org/10.2478/forma-2019-0008

Chicago Style (17th ed.) Citation

Coghetto, Roland, and Adam Grabowski. "Tarski Geometry Axioms. Part IV – Right Angle." Formalized Mathematics 27, no. 1 (2019): 75. https://doi.org/10.2478/forma-2019-0008.

MLA (9th ed.) Citation

Coghetto, Roland, and Adam Grabowski. "Tarski Geometry Axioms. Part IV – Right Angle." Formalized Mathematics, vol. 27, no. 1, 2019, p. 75, https://doi.org/10.2478/forma-2019-0008.