Ostuni, D.; Raffaele, A.; Rizzi, R.; Zavatteri, M. Faster and Better Simple Temporal Problems. AAAI 2021, 35, 11913-11920.