STORR, H.-P. Planning in the Fluent Calculus Using Binary Decision Diagrams. AI Magazine, [S. l.], v. 22, n. 3, p. 103, 2001. DOI: 10.1609/aimag.v22i3.1582. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1582. Acesso em: 25 apr. 2024.