TY  - RPRT
TI  - Reducing the Complexity of Quantified Formulas via Variable Elimination
AU  - Aboubakr Achraf El Ghazi
AU  - Mattias Ulbrich
AU  - Mana Taghdiri
AU  - Mihai Herda
PY  - 2014
UR  - https://arxiv.org/abs/1408.0700
ID  - 1408.0700
ER  -