@mastersthesis{seipp-msc2012,
    author = "Seipp, Jendrik",
    school = "University of Freiburg",
    title = "Counterexample-guided Abstraction Refinement for Classical Planning",
    year = "2012"
}