@misc{indiciae3e9885168804,
  title = {Reducing the Complexity of Quantified Formulas via Variable Elimination},
  author = {Aboubakr Achraf El Ghazi and Mattias Ulbrich and Mana Taghdiri and Mihai Herda},
  year = {2014},
  url = {https://arxiv.org/abs/1408.0700},
  note = {Source identifier: 1408.0700}
}