Floris Geerts, Bart Kuijpers: Real Algebraic Geometry and Constraint Databases. Handbook of Spatial Logics 2007: 799-856