Behnke, Gregor, AND Biundo, Susanne. " X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism" Inteligencia Artificial [Online], Volume 21 Number 62 (11 September 2018)