Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness. Transactions on Embedded Systems, Real-Time Computing, and Applications, [S. l.], v. 12, n. 5, p. 1–17, 2022. Disponível em: https://sciencequill.com/index.php/TESRTCA/article/view/2022-05-04. Acesso em: 13 mar. 2025.