Second-Order Quantifier Elimination door Dov Gabbay & Renate A. Schmidt