@misc{indiciaed572d3e19263,
  title = {Complete Problems of Propositional Logic for the Exponential Hierarchy},
  author = {Martin Lück},
  year = {2016},
  url = {https://arxiv.org/abs/1602.03050},
  note = {Source identifier: 1602.03050}
}