Hannula, M.; Kontinen, J.; Lück, M.; Virtema, J.: On quantified propositional logics and the exponential time hierarchy. In: Electronic Proceedings in Theoretical Computer Science, EPTCS 226 (2016), S. 198-212. DOI:
https://doi.org/10.4204/EPTCS.226.14