Czakon M. D-complete Single Axioms for the Equivalential Calculus with the rules D and R. B Sect Log. 2024;53(4):479-489. doi:10.18778/0138-0680.2024.15