يوسف ليث أثير. “Foundations and Logical Inference Rules in First Order Logic”. lark 8, no. 2 (May 5, 2019): 475–485. Accessed April 16, 2026. https://lark.uowasit.edu.iq/index.php/lark/article/view/616.