Freddy Dumortier Marc Gyssens Luc Vandeurzen Dirk Van Gucht On the Decidability of Semilinearity for Semialgebraic Sets and Its Implications for Spatial Databases. 535-571 1999 58 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss58.html#DumortierGVG99