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

Open in new window