Second-Order Quantifier Elimination: Foundations, Computational Aspects, and Applications

Dov M. Gabbay , R. Schmidt , A. Szalas