Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness. TESRTCA 2022, 12 (5), 1-17.