Mixed real integer linear quantifier elimination - Weispfenning, Volker 1944- (Univ., 1999)