@BOOK{GabbaySchmidtSzalas08,
AUTHOR = {Gabbay, D. M. and Schmidt, R. A. and Sza{\l}as, A.},
YEAR = {2008},
TITLE = {Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications},
SERIES = {Studies in Logic: Mathematical Logic and Foundations},
VOLUME = {12},
PUBLISHER = {College Publications},
ISBN = {978-1-904987-56-7},
}