Title: A lower bound for tree resolution
First published: 1991