“Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness”. 2022. Transactions on Embedded Systems, Real-Time Computing, and Applications 12 (5): 1-17. https://sciencequill.com/index.php/TESRTCA/article/view/2022-05-04.