M. Czakon, “Some Results Concerning Axioms for Equivalential Calculus”, B Sect Log, vol. 54, no. 3, pp. 325–341, Jul. 2025, doi: 10.18778/0138-0680.2025.05.