S. Panjkovic, A. Micheli, and A. Cimatti, “Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping”, AAAI, vol. 36, no. 9, pp. 9886-9893, Jun. 2022.