@misc{indiciae6362e5405103,
  title = {On Quantified Propositional Logics and the Exponential Time Hierarchy},
  author = {Miika Hannula and Juha Kontinen and Martin Lück and Jonni Virtema},
  year = {2016},
  doi = {10.4204/eptcs.226.14},
  url = {https://arxiv.org/abs/1609.04097},
  note = {Source identifier: 1609.04097}
}