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