%% -*-BibTeX-*-


@Misc{CeriaFerrisLinderothPatakiSchmieta2000,
  author       = "S. Ceria and M. Ferris and J. T. Linderoth and G. Pataki and S. Schmieta",
  title        = "Seymour is solved!",
  year         = "2000",
  instance     = "seymour",
  language     = "English",
}