Michael R. Fellows
Michael R. Fellows and Michael A. Langston.
Nonconstructive tools for proving polynomial-time decidability.
Journal of the ACM
, 35(3):727-739, July 1988.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database