The intractability or resolution (1985)

by A Haken
Venue:Theoretical Computer Science