Wolter, F. and Zakharyaschev, Michael (2000) Spatial reasoning in RCC-8 with boolean region terms. In: Horn, W. (ed.) ECAI 2000: Proceedings of the 14th European Conference on Artificial Intelligence. IOS Press, pp. 244-250.