1. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
2. Arias, J., Chen, Z., Carro, M., Gupta, G.: Modeling and reasoning in event calculus using goal-directed constraint answer set programming. Theor. Pract. Logic Program. 22(1), 51–80 (2022)
3. Ben-Eliyahu-Zohary, R., Angiulli, F., Fassetti, F., Palopoli, L.: Decomposing minimal models. In: Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning, IJCAI 2016. CEUR Workshop Proceedings, vol. 1648. CEUR-WS.org (2016)
4. Brenton, C., Faber, W., Batsakis, S.: Answer set programming for qualitative spatio-temporal reasoning: Methods and Experiments. In: ICLP 2016. vol. 52, pp. 4:1–4:15. Dagstuhl, Germany (2016)
5. Brusoni, V., Console, L., Terenziani, P., Dupré, D.T.: A spectrum of definitions for temporal model-based diagnosis. Artif. Intell. 102(1), 39–79 (1998)