SMITH, A. Answer Set Programming in Proofdoku. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, [S. l.], v. 13, n. 2, p. 118-124, 2017. DOI: 10.1609/aiide.v13i2.12972. Disponível em: https://ojs.aaai.org/index.php/AIIDE/article/view/12972. Acesso em: 3 may. 2026.