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]
@book{0023036,
title = {Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications},
author = {Dov M. Gabbay and Renate A. Schmidt and Andrzej Szalas},
year = {2008},
url = {http://collegepublications.co.uk/logic/mlf/?00009},
researchr = {https://researchr.org/publication/0023036},
cites = {0},
citedby = {0},
volume = {12},
series = {Studies in logic : Mathematical logic and foundations},
publisher = {College Publications},
isbn = {978-1-904987-56-7},
}