P. SARMA, Gopal; J. HAY, Nick. Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, [S. l.], v. 41, n. 4, 2017. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/1873. Acesso em: 8 aug. 2025.