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