Evaluation Trees and Normalisation for Proposition Algebra †. - Bergstra, Jan A.; Ponse, Alban; Staudt, Daan J. C. (Mathematics (2227-7390), 2026)