One excellent reference on cylindric decomposition in real closed fields is Bochank, Coste & Roy "Geometrie algebrique reele" Springer 1987. Recently they have published a second edition in English "Real Algebraic Geometry". Dave Marker