Bao, F.; Zhang, Y. Temporally Expressive Planning Based on Answer Set Programming With Constraints. AAAI 2021, 26, 2413-2414.