Giannakopoulou, S., C. Nikolaou, and M. Koubarakis. “A Reasoner for the RCC-5 and RCC-8 Calculi Extended With Constants”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.9123.