The intractability of resolution (1985)

by Armin Haken
Venue:Theoretical Computer Science