@article{DBLP:journals/corr/GhaziUTH14,
  author    = {Aboubakr Achraf El Ghazi and
               Mattias Ulbrich and
               Mana Taghdiri and
               Mihai Herda},
  title     = {Reducing the Complexity of Quantified Formulas via Variable Elimination},
  journal   = {CoRR},
  volume    = {abs/1408.0700},
  year      = {2014},
  url       = {http://arxiv.org/abs/1408.0700},
  archivePrefix = {arXiv},
  eprint    = {1408.0700},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/GhaziUTH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ijBip8y2bLdRjAovw","bibbaseid":"ghazi-ulbrich-taghdiri-herda-reducingthecomplexityofquantifiedformulasviavariableelimination-2014","author_short":["Ghazi, A. A. E.","Ulbrich, M.","Taghdiri, M.","Herda, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Aboubakr","Achraf","El"],"propositions":[],"lastnames":["Ghazi"],"suffixes":[]},{"firstnames":["Mattias"],"propositions":[],"lastnames":["Ulbrich"],"suffixes":[]},{"firstnames":["Mana"],"propositions":[],"lastnames":["Taghdiri"],"suffixes":[]},{"firstnames":["Mihai"],"propositions":[],"lastnames":["Herda"],"suffixes":[]}],"title":"Reducing the Complexity of Quantified Formulas via Variable Elimination","journal":"CoRR","volume":"abs/1408.0700","year":"2014","url":"http://arxiv.org/abs/1408.0700","archiveprefix":"arXiv","eprint":"1408.0700","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/GhaziUTH14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/GhaziUTH14,\n author = {Aboubakr Achraf El Ghazi and\n Mattias Ulbrich and\n Mana Taghdiri and\n Mihai Herda},\n title = {Reducing the Complexity of Quantified Formulas via Variable Elimination},\n journal = {CoRR},\n volume = {abs/1408.0700},\n year = {2014},\n url = {http://arxiv.org/abs/1408.0700},\n archivePrefix = {arXiv},\n eprint = {1408.0700},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/GhaziUTH14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ghazi, A. A. E.","Ulbrich, M.","Taghdiri, M.","Herda, M."],"key":"DBLP:journals/corr/GhaziUTH14","id":"DBLP:journals/corr/GhaziUTH14","bibbaseid":"ghazi-ulbrich-taghdiri-herda-reducingthecomplexityofquantifiedformulasviavariableelimination-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1408.0700"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/21/9798.bib","dataSources":["N8rnhcwi94dDgM4tT"],"keywords":[],"search_terms":["reducing","complexity","quantified","formulas","via","variable","elimination","ghazi","ulbrich","taghdiri","herda"],"title":"Reducing the Complexity of Quantified Formulas via Variable Elimination","year":2014}