N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets.

Floris Geerts Lieven Smits Jan Van den Bussche N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets. 43-56 2005 42 Acta Inf. 1 http://dx.doi.org/10.1007/s00236-005-0171-5 db/journals/acta/acta42.html#GeertsSB05