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