APA (7th ed.) Citation

Kuśmierowski, W., & Grabowski, A. (2021). Automatization of Ternary Boolean Algebras. Formalized Mathematics, 29(4), 153. https://doi.org/10.2478/forma-2021-0015

Chicago Style (17th ed.) Citation

Kuśmierowski, Wojciech, and Adam Grabowski. "Automatization of Ternary Boolean Algebras." Formalized Mathematics 29, no. 4 (2021): 153. https://doi.org/10.2478/forma-2021-0015.

MLA (9th ed.) Citation

Kuśmierowski, Wojciech, and Adam Grabowski. "Automatization of Ternary Boolean Algebras." Formalized Mathematics, vol. 29, no. 4, 2021, p. 153, https://doi.org/10.2478/forma-2021-0015.