BEHNKE, Gregor; BIUNDO, Susanne. X and 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, sep. 2018. ISSN 1988-3064. Available at: <https://journal.iberamia.org/index.php/intartif/article/view/226>. Date accessed: 20 jan. 2019. doi: https://doi.org/10.4114/intartif.vol21iss62pp75-90.