Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS) - Carl Schultz; Mehul Bhatt (Annals of computer science and information systems)