A revised version of the technical report MIP-0202 has appeared as

T. Sturm. Quantifier Elimination for Constraint Logic Programming. Proceedings
of the CASC 2005, LNCS 3718, pp.416-430, 2005.

DOI: 10.1007/11555964_36
