Compact tree of Lemma Newell GRISHAM