Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness. TESRTCA [Internet]. 2022 May 4 [cited 2025 Jul. 2];12(5):1-17. Available from: https://sciencequill.com/index.php/TESRTCA/article/view/2022-05-04