Many hard examples for resolution (1988)

by V Chvtal, E Szemer6di
Venue:J. Assoc. Comput. Mach