Second-order Quantifier Elimination Foundations, Computational Aspects and Applications Gabbay Dov Heftet / 2008 / Engelsk
