Dov M. Gabbay, Renate A. Schmidt, Andrzej Szalas. Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. Volume 12 of Studies in logic : Mathematical logic and foundations, College Publications, 2008. [doi]
Abstract is missing.