1. J. F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 16(11), 1983.
2. M. Böhlen and R. Marti. A Temporal Extension of the Deductive Database System Pro-Quel. Technical report, Departement Informatik, ETH Zürich, 1992.
3. M. Böhlen and R. Marti. Handling Temporal Knowledge in a Deductive Database System. In A. Oberweis W. Stucky, editor, Datenbanksysteme in Büro, Technik und Wissenschaft, 1993.
4. M. Böhlen. The Temporal Deductive Database System ChronoLog. PhD thesis, Departement Informatik, ETH Zürich, 1994.
5. J. Burse. Pro-Quel: Using Prolog to Implement a Deductive Database System. Technical report, Departement Informatik, ETH Zürich, 1992.