Figure 4.

Setup and variable assignments for the proof of Lemma 1. Tree showing the variable assignments in the proof of Lemma 1. Dotted lines represent omitted parts of the tree, and triangles represent subtrees.

Lin et al. BMC Bioinformatics 2012 13(Suppl 10):S12   doi:10.1186/1471-2105-13-S10-S12