@inproceedings{seipp-helmert-icaps2013,
  author       = {Jendrik Seipp and Malte Helmert},
  title        = {Counterexample-guided {Cartesian} Abstraction Refinement},
  pages        = {347--351},
  editor       = {Daniel Borrajo and Subbarao Kambhampati and Angelo Oddi and Simone
    Fratini},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Automated
    Planning and Scheduling (ICAPS 2013)},
  year         = 2013,
  publisher    = {AAAI Press},
}