T. Schwartz and D. Wolter, “HTN Plan Verification by Qualitative Temporal Reasoning”, AAAI, vol. 40, no. 43, pp. 36378–36385, Mar. 2026.