APA (7th ed.) Citation

Bergstra, J. A., Ponse, A., & Staudt, D. J. C. (2026). Evaluation Trees and Normalisation for Proposition Algebra †. Mathematics (2227-7390), 14(2), 280. https://doi.org/10.3390/math14020280

Chicago Style (17th ed.) Citation

Bergstra, Jan A., Alban Ponse, and Daan J. C. Staudt. "Evaluation Trees and Normalisation for Proposition Algebra †." Mathematics (2227-7390) 14, no. 2 (2026): 280. https://doi.org/10.3390/math14020280.

MLA (9th ed.) Citation

Bergstra, Jan A., et al. "Evaluation Trees and Normalisation for Proposition Algebra †." Mathematics (2227-7390), vol. 14, no. 2, 2026, p. 280, https://doi.org/10.3390/math14020280.