@misc{indiciaea369bfa09b87,
  title = {Solving QBF by Abstraction},
  author = {Jesko Hecking-Harbusch and Leander Tentrup},
  year = {2018},
  doi = {10.4204/eptcs.277.7},
  url = {https://arxiv.org/abs/1604.06752},
  note = {Source identifier: 1604.06752}
}