Pseudo-complex Quantifier Elimination.

Nicolas Faro, Thomas Sturm

Browse the full CASC paper archive.