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