G. Behnke and S. 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”, ia, vol. 21, no. 62, pp. 75–90, Sep. 2018.