[1]
S. Giannakopoulou, C. Nikolaou, and M. Koubarakis, “A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants”, AAAI, vol. 28, no. 1, Jun. 2014.