Herbert S. Wilf
-
Nonconstructive tools for proving polynomial-time decidability
Journal of the ACM (JACM)