An Introduction to Chordal Graphs and Clique Trees by Jean R. S. Blair and others (source code)

= An Introduction to Chordal Graphs and Clique Trees by Jean R. S. Blair and others
{c}
{tag=Work by Jean R. S. Blair}
{tag=Work by Barry W. Peyton}
{title2=1992}

= An Introduction to Chordal Graphs and Clique Trees
{c}
{synonym}

By <Jean R. S. Blair>, <Barry W. Peyton>.

Online text: https://digital.library.unt.edu/ark:/67531/metadc1319152/m2/1/high_res_d/10145949.pdf

Oak Ridge National Laboratory technical report ORNL/TM-12203, November 1992.

Cited passages: §2.2, Lemma 1 and Theorem 2.2; §3.1–3.2, Theorems 3.1–3.3.