يوسف ليث أثير. 2019. “Foundations and Logical Inference Rules in First Order Logic”. Lark 8 (2): 475-85. https://doi.org/10.31185/lark.Vol1.Iss22.616.