Behnke, G., & Biundo, S. (2018). X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. Inteligencia Artificial, 21(62), 75-90. doi:10.4114/intartif.vol21iss62pp75-90