LOVELAND, D. W. Automated Deduction: Looking Ahead. AI Magazine, [S. l.], v. 20, n. 1, p. 77, 1999. DOI: 10.1609/aimag.v20i1.1442. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1442. Acesso em: 25 apr. 2024.