Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness. TESRTCA. 2022;12(5):1-17. Accessed March 13, 2025. https://sciencequill.com/index.php/TESRTCA/article/view/2022-05-04