@TechReport{ReidlSanchez09,
  author =	 "Felix Reidl and Fernando S{\'}anchez Villaamil",
  title =	 "Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm",
  institution =	 "RWTH Aachen University",
  year =	 "2009",
  number =	 "AIB-2009-10",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-10.ps.gz",
  keywords =     "Exact Algorithms, Independent Set, Computer-generated Proof"
}