Algorithms for the Geometry of Semi-Algebraic Sets - Arnon, Dennis S (University of Wisconsin-Madison Department of Computer Sciences, 1981)