Ostuni, D., Raffaele, A., Rizzi, R., & Zavatteri, M. (2021). Faster and Better Simple Temporal Problems. Proceedings of the AAAI Conference on Artificial Intelligence, 35(13), 11913-11920. https://doi.org/10.1609/aaai.v35i13.17415