1. The Design and Analysis of Computer Algorithms;Aho,1974
2. A note on disjunctive form tautologies;Bauer;SIGACT News,1973
3. The complexity of theorem proving procedures;Cook;Proc. 3rd ACM Symp. on Theory of Computing,1971
4. Computational complexity of probabilistic Turing machines;Gill;Proc. 6th ACM Symp. on Theory of Computing,1974
5. An algorithm for distinct representatives;Hall;Am. Math. Monthly,1956