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 (Sep. 2018), 75–90. DOI:https://doi.org/10.4114/intartif.vol21iss62pp75-90.