"A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants."

Stella Giannakopoulou, Charalampos Nikolaou, Manolis Koubarakis (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics