LIN, F. Machine Theorem Discovery. AI Magazine, [S. l.], v. 39, n. 2, p. 53-59, 2018. DOI: 10.1609/aimag.v39i2.2794. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2794. Acesso em: 28 mar. 2024.