1. Balbiani, P., Tinchev, T., Vakarelov, D.: Dynamic logics of the region-based theory of discrete spaces. Journal of Applied Non-Classical Logics 17 (2007)
2. Balbiani, P., Tinchev, T., Vakarelov, D.: Modal logics for region-based theories of space. Fundamenta Informaticæ 81 (2007)
3. Chagrov, A., Rybakov, M.: How many variables does one need to prove PSPACE-hardness of modal logics? In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol. 4, King’s College (2003)
4. Chang, C., Keisler, H.: Model Theory. Elsevier, Amsterdam (1990)
5. Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: a proximity approach – I. Fundamenta Informaticæ 74 (2006)