يوسف ليث أثير. Foundations and logical inference Rules in First Order Logic. lark, [S. l.], v. 8, n. 2, p. 475–485, 2019. DOI: 10.31185/lark.Vol1.Iss22.616. Disponível em: https://lark.uowasit.edu.iq/index.php/lark/article/view/616. Acesso em: 20 apr. 2026.