Czakon, M. D-Complete Single Axioms for the Equivalential Calculus With the Rules D and R. B Sect Log 2024, 53 (4), 479-489. https://doi.org/10.18778/0138-0680.2024.15.