Behnke, Gregor, & Susanne Biundo. " X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism." Inteligencia Artificial [Online], 21.62 (2018): 75-90. Web. 20 Jan. 2019