Second Order Logic and the Weak Exponential Hierarchies.

Georg Gottlob, Nicola Leone, Helmut Veith

Browse the full MFCS paper archive.