Bergstra, Jan Aldert. “Structural Equivalence of Arithmetical Expressions As a Technical Basis for Philosophical Arithmetic”. Transmathematica (December 20, 2024). Accessed August 31, 2026. https://www.transmathematica.org/index.php/journal/article/view/99.