1. Allen, J. F. (1983): Maintaining knowledge about temporal intervals, Comm. ACM 26, 832–843.
2. Andréka, H., Givant, S. and Németi, I. (1994): The lattice of varieties of representable relation algebras, J. Symbolic Logic 59, 631–661.
3. Andréka, H., Givant, S. and Németi, I. (1997): Decision Problems for Equational Theories of Relation Algebras, Mem. Amer. Math. Soc. 604, Providence.
4. Asher, N. and Vieu, L. (1995): Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology, in C. Mellish (ed.), IJCAI 95, Proceedings of the 14th International Joint Conference on Artificial Intelligence.
5. Bennett, B. (1996): Modal logics for qualitative spatial reasoning, Bull. Interest Group in Pure and Appl. Logic (IGPL) 4, 23–45.