يوسف ل. أ. (2019). Foundations and logical inference Rules in First Order Logic. Lark, 8(2), 475-485. https://doi.org/10.31185/lark.Vol1.Iss22.616