Second Order Logic and the Weak Exponential Hierarchies - Gottlob, G; Leone, N; Veith, H (Springer, 1995)