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