Valentini, A.; Micheli, A.; Cimatti, A. Temporal Planning With Intermediate Conditions and Effects. AAAI 2020, 34, 9975-9982.