A new approach to quantifier elimination for real algebra - Weispfenning, Volker 1944- (1993)