Nancy Gail Kinnersley;Michael A. Langston
-;-
On search decision and the efficiency of polynomial-time algorithms
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing