@inproceedings{conf/mfcs/GottlobLV95, title = "Second Order Logic and the Weak Exponential Hierarchies", author = "Georg Gottlob and Nicola Leone and Helmut Veith", year = "1995", booktitle = "{Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings}", editor = "Jir\'{\i} Wiedermann and Petr H{\'a}jek", isbn = "3-540-60246-1", pages = "66-81", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "969", }