The intractability of resolution, Theoretical (1985)

by Amin Haken
Venue:Computer Science