@article{seipp-helmert-jair2018,
  author       = {Jendrik Seipp and Malte Helmert},
  title        = {Counterexample-Guided {Cartesian} Abstraction Refinement for Classical
    Planning},
  journal      = {Journal of Artificial Intelligence Research},
  year         = 2018,
  volume       = 62,
  pages        = {535--577},
}