Czakon, M. D-Complete Single Axioms for the Equivalential Calculus With the Rules D and R. B Sect Log 2024, 53, 479-489.