Second-order Quantifier Elimination
Dov Gabbay; Renate A. Schmidt; Andrzej Szalas
College Publications
2008
pokkari