arXiv 2003-08-01 EN Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets Geerts, Floris · Smits, Lieven · Bussche, Jan Van den
