1. The Design and Analysis of Computer Algorithms;Aho,1974
2. The complexity of theorem proving procedures;Coox,1971
3. Time-bounded random access machines;Cook;J. Comput. System Sci.,1973
4. Some theorems on abstract graphs;Dirac,1952
5. Paths, trees, and flowers;Edmonds;Canad. J. Math.,1965