BEHNKE, G.; BIUNDO, S. X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism: Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. Inteligencia Artificial, [S. l.], v. 21, n. 62, p. 75–90, 2018. DOI: 10.4114/intartif.vol21iss62pp75-90. Disponível em: https://journal.iberamia.org/index.php/intartif/article/view/226. Acesso em: 19 apr. 2024.