CZAKON, Marcin. D-complete Single Axioms for the Equivalential Calculus with the rules D and R. Bulletin of the Section of Logic, [S. l.], v. 53, n. 4, p. 479–489, 2024. DOI: 10.18778/0138-0680.2024.15. Disponível em: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/22207. Acesso em: 7 dec. 2025.