Nonconstructive Tools for Proving Polynomial-Time Deeidability (1988)

by M R Fellows, M A Langston
Venue:J of the ACM