Simultaneous quantifier elimination Autexier, Serge Mantel, Heiko Stephan, Werner 1998 - TUHH Open Research