@inproceedings{VSchuppan-ICTAI-2018,
  author    = {Viktor Schuppan},
  title     = {Enhanced Unsatisfiable Cores for {QBF}: Weakening Universal to Existential Quantifiers},
  booktitle = {{IEEE} 30th International Conference on Tools with Artificial Intelligence, {ICTAI} 2018, Volos, Greece, November 5-7, 2018},
  pages     = {81--89},
  year      = {2018},
  crossref  = {VS:conf/ictai/2018},
  url       = {http://dx.doi.org/10.1109/ICTAI.2018.00023},
  doi       = {10.1109/ICTAI.2018.00023},
}

@proceedings{VS:conf/ictai/2018,
  editor    = {Lefteri H. Tsoukalas and {\'{E}}ric Gr{\'{e}}goire and Miltiadis Alamaniotis},
  title     = {{IEEE} 30th International Conference on Tools with Artificial Intelligence, {ICTAI} 2018, Volos, Greece, November 5-7, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  isbn      = {978-1-5386-7449-9},
}