SUTCLIFFE, G. Automated Theorem Proving: A Review. AI Magazine, [S. l.], v. 23, n. 1, p. 121, 2002. DOI: 10.1609/aimag.v23i1.1617. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1617. Acesso em: 25 apr. 2024.