F. Bao and Y. Zhang, “Temporally Expressive Planning Based on Answer Set Programming with Constraints”, AAAI, vol. 26, no. 1, pp. 2413–2414, Sep. 2021.