APA (7th ed.) Citation

Kulesza, D., & Grabowski, A. (2020). Formalization of Quasilattices. Formalized Mathematics, 28(2), 217. https://doi.org/10.2478/forma-2020-0019

Chicago Style (17th ed.) Citation

Kulesza, Dominik, and Adam Grabowski. "Formalization of Quasilattices." Formalized Mathematics 28, no. 2 (2020): 217. https://doi.org/10.2478/forma-2020-0019.

MLA (9th ed.) Citation

Kulesza, Dominik, and Adam Grabowski. "Formalization of Quasilattices." Formalized Mathematics, vol. 28, no. 2, 2020, p. 217, https://doi.org/10.2478/forma-2020-0019.