GASQUET, O.; LONGIN, D.; MARIS, F.; R´EGNIER, P.; VALAIS, M. Compact Tree Encodings for Planning as QBF. Inteligencia Artificial, [S. l.], v. 21, n. 62, p. 103–113, 2018. DOI: 10.4114/intartif.vol21iss62pp103-113. Disponível em: https://journal.iberamia.org/index.php/intartif/article/view. Acesso em: 18 apr. 2024.