Floris Geerts Lieven Smits Jan Van den Bussche Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets http://arxiv.org/abs/cs.LO/0308001 2003 CoRR cs.LO/0308001 db/journals/corr/corr0308.html#cs-LO-0308001 informal publication