Panjkovic, S., Micheli, A., & Cimatti, A. (2022). Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), 9886-9893. https://doi.org/10.1609/aaai.v36i9.21225