Sartaj Kumar Sahni
-
A Formal Construction of Term Classes
Journal of the ACM (JACM)
Some simplified NP-complete problems
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing