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