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