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