@article{conformantplanningasacasestudyof,
  title = {Conformant Planning as a Case Study of Incremental QBF Solving},
  author = {Uwe Egly and Martin Kronegger and Florian Lonsing and Andreas Pfandler},
  year = {2014},
  eprint = {1405.7253},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1405.7253v3},
}