“Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness”, TESRTCA, vol. 12, no. 5, pp. 1–17, May 2022, Accessed: Mar. 13, 2025. [Online]. Available: https://sciencequill.com/index.php/TESRTCA/article/view/2022-05-04