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. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/17415