1. The Design and Analysis of Computer Algorithms;Aho,1974
2. The Complexity of Theorem-Proving Procedures;Cook;3rd Ann. ACM Symp. on Theory of Computing,1970
3. Optimum Binary Identification Procedures;Garey;SIAM J. Appl. Math.,1972
4. Reducibility among Combinatorial Problems;Karp;IBM Symp. on Computational Complexity,1973
5. Conversion of Limited-Entry Decision Tables to Computer Programs;Pollack;CACM,1965