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