@inproceedings{KroneggerPP13-qbf,
  author    = {Martin Kronegger and Andreas Pfandler and Reinhard Pichler},
  title     = {Conformant Planning as a Benchmark for {QBF}-Solvers},
  booktitle = {Proc. of the International Workshop on Quantified Boolean Formulas (QBF 2013) colocated with SAT 2013},
  year      = {2013},
  editorOFF = {Florian Lonsing and Martina Seidl},
  pages     = {1--5}
  ee        = {http://fmv.jku.at/qbf2013/reportQBFWS13.pdf},
}