Behnke, Gregor, and Susanne Biundo. “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, no. 62 (September 11, 2018): 75–90. Accessed April 19, 2024. https://journal.iberamia.org/index.php/intartif/article/view/226.