@phdthesis{stahlberg-phd2017,
  author       = {Simon St{\aa}hlberg},
  title        = {Methods for Detecting Unsolvable Planning Instances using Variable
    Projection},
  school       = {Link{\"o}ping University},
  year         = 2017,
}