Schwartz, T.; Wolter, D. HTN Plan Verification by Qualitative Temporal Reasoning. AAAI 2026, 40, 36378-36385.