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. 22];53(4):479-8. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/22207