Add a reference to Bryant's chordality paper.
Add a ref to Bryant in the discussion as well.
Rewrite optimisations to what they actually do.