Behnke, G. and 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), pp. 75–90. doi: 10.4114/intartif.vol21iss62pp75-90.