1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, 1983.
2. B. Bennett. Modal logics for qualitative spatial reasoning. Journal of the Interest Group in Pure and Applied Logic, 4(1):23–45, 1996.
3. M. Grigni, D. Papadias, and Chr.H. Papadimitriou. Topological inference. Proc. IJCAI’95, 901–907, August 1995.
4. V. Haarslev, C. Lutz, and R. Möller. Foundations of spatioterminological reasoning with Description Logics. Proc. KR’98, 112–123, June 1998.
5. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319–380, 1992.