1. Artale, A. and Franconi, E. (1999) Introducing temporal description logics, in C. Dixon and M. Fisher (eds.), Proceedings of the 6th International Workshop on Temporal Representation and Reasoning (TIME-99), IEEE Computer Society Press, Orlando, FL.
2. Chomicki, J. and Niwinski, D. (1995) On the feasibility of checking temporal integrity constraints, J. Comput. System Sci. 51(3), 523–535.
3. Cluedo. http://www.hasbro.com .
4. Degtyarev, A., Fisher, M. and Konev, B. (in press) Monodic temporal resolution, ACM Trans. Computational Logic. A preliminary version available as Technical Report ULCS-03-001, The University of Liverpool, 2003, http://www.csc.liv.ac.uk/research
5. Lecture Notes in Comput. Sci.;A. Degtyarev,2003