GQR—A fast reasoner for binary qualitative constraint calculi (2008)

by Z Gantner, M Westphal, S Wlfl
Venue:in: AAAI-08 Workshop on Spatial and Temporal Reasoning