Panjkovic, S.; Micheli, A.; Cimatti, A. Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping. AAAI 2022, 36, 9886-9893.