Behnke, G., & Biundo, S. (2018). 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, 21(62), 75–90. https://doi.org/10.4114/intartif.vol21iss62pp75-90