(1)
Giannakopoulou, S.; Nikolaou, C.; Koubarakis, M. A Reasoner for the RCC-5 and RCC-8 Calculi Extended With Constants. AAAI 2014, 28.