EDELKAMP, S.; HELMERT, M. MIPS: The Model-Checking Integrated Planning System. AI Magazine, [S. l.], v. 22, n. 3, p. 67, 2001. DOI: 10.1609/aimag.v22i3.1574. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1574. Acesso em: 25 apr. 2024.