@MISC{CHORD.MIZ,
  AUTHOR = {Arneson, Broderick and Rudnicki, Piotr},
  TITLE = {Chordal Graphs},
  NOTE = {This work has been partially supported by the NSERC grant OGP 9207.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Miscellany on Graphs},
  SECTION3 = {Shortest Topological Path},
  SECTION4 = {Adjacency and Complete Graphs},
  SECTION5 = {Simplicial Vertex},
  SECTION6 = {Vertex Separator},
  SECTION7 = {Chordal Graphs},
  SECTION8 = {Vertex Elimination Scheme},
  DAY = {18},
  MONTH = {August},
  YEAR = {2006},
  ADDRESS1 = {University of Alberta\\Edmonton, Canada},
  ADDRESS2 = {University of Alberta\\Edmonton, Canada},
  SUMMARY = {We are formalizing \cite[pp.~81--84]{Golumbic}
  where chordal graphs are defined and their basic characterization is given.
  This formalization is a part of the M.Sc. work of the first
  author under supervision of the second author.}}

