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