Open menu
David J. McClurkin
1964
A lower bound for tree resolution