“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), pp. 1–17. Available at: https://sciencequill.com/index.php/TESRTCA/article/view/2022-05-04 (Accessed: 13 March 2025).