M. Czakon, “D-complete Single Axioms for the Equivalential Calculus with the rules D and R”, B Sect Log, vol. 53, no. 4, pp. 479–489, Nov. 2024.