Behnke, Gregor, and Susanne Biundo. 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.