Nonconstructive tools for proving polynomial-time decidability (1988)

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