@book{diestel2006,
  title = {Graph Theory, 3rd Edition},
  author = {Reinhard Diestel},
  isbn = {978-3540261834},
  series = {Graduate texts in mathematics},
  volume = {173},
  year = {2006},
  publisher = {Springer}
}
@article{fomin2008,
  author    = {Fedor V. Fomin and
               Dimitrios M. Thilikos},
  title     = {An annotated bibliography on guaranteed graph searching},
  journal   = {Theor. Comput. Sci.},
  volume    = {399},
  number    = {3},
  pages     = {236--245},
  year      = {2008},
  doi       = {10.1016/j.tcs.2008.02.040},
}
@article{robertson_seymour_graphs/V,
  author    = {Neil Robertson and
               Paul D. Seymour},
  title     = {Graph minors. V. Excluding a planar graph},
  journal   = {J. Comb. Theory, Ser. B},
  volume    = {41},
  number    = {1},
  year      = {1986},
  pages     = {92-114},
  doi       = {10.1016/0095-8956(86)90030-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{Graph_Theory-AFP,
  author  = {Lars Noschinski},
  title   = {Graph Theory},
  journal = {Archive of Formal Proofs},
  month   = apr,
  year    = 2013,
  note    = {\url{http://isa-afp.org/entries/Graph_Theory.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
