Localization vs. identification of semi-algebraic sets - Ben-David, Shai; Lindenbaum, Michael (haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report, 1993)