2022. Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness. Transactions on Embedded Systems, Real-Time Computing, and Applications. 12, 5 (May 2022), 1–17.