The intractability of resolution. Theoret (1985)

by Armin Haken
Venue:Comput. Sci