TY  - RPRT
TI  - Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets
AU  - Floris Geerts
AU  - Lieven Smits
AU  - Jan Van den Bussche
PY  - 2003
DO  - 10.1007/s00236-005-0171-5
UR  - https://arxiv.org/abs/cs/0308001
ID  - cs/0308001
ER  -