David J. McClurkin

• A lower bound for tree resolution