The intractability of resolution, Theoret (1985)

by A Haken
Venue:Comput. Sci