Second-order Quantifier Elimination: Foundations, Computational Aspects and Applicatio… by Gabbay, Dov, Schmidt, Ranate A., Szalas, Andrzej 0 Type: Book
