Czakon, M. (2024). D-complete Single Axioms for the Equivalential Calculus with the rules D and R. Bulletin of the Section of Logic, 53(4), 479–489. https://doi.org/10.18778/0138-0680.2024.15