Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge

Publication
ACM Commun. Comput. Algebra