Czakon M. D-complete Single Axioms for the Equivalential Calculus with the rules D and R. B Sect Log [Internet]. 2024 Nov. 5 [cited 2025 Dec. 6];53(4):479-8. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/22207