APA (7th ed.) Citation

Grabowski, A., & Sawicki, D. (2018). On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. Formalized Mathematics, 26(2), 193. https://doi.org/10.2478/forma-2018-0017

Chicago Style (17th ed.) Citation

Grabowski, Adam, and Damian Sawicki. "On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander." Formalized Mathematics 26, no. 2 (2018): 193. https://doi.org/10.2478/forma-2018-0017.

MLA (9th ed.) Citation

Grabowski, Adam, and Damian Sawicki. "On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander." Formalized Mathematics, vol. 26, no. 2, 2018, p. 193, https://doi.org/10.2478/forma-2018-0017.