Many hard examples for resolution

Chvátal, Vašek and Endre Szemerédi, ‘Many hard examples for resolution’, Journal of the ACM (JACM) 35.4 (1988), pp 759–768.

journal article · https://doi.org/10.1145/48014.48016