Behnke, G., 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”. Inteligencia Artificial, vol. 21, no. 62, Sept. 2018, pp. 75-90, doi:10.4114/intartif.vol21iss62pp75-90.