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