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