@article{DBLP:journals/jar/HeuleSB17,
  author    = {Marijn J. H. Heule and
               Martina Seidl and
               Armin Biere},
  title     = {Solution Validation and Extraction for {QBF} Preprocessing},
  journal   = {J. Autom. Reasoning},
  volume    = {58},
  number    = {1},
  pages     = {97--125},
  year      = {2017}
}