1. Solvable Cases of the Decision Problem;Ackermann,1954
2. The Design and Analysis of Computer Algorithms;Aho,1974
3. The Theory of Parsing, Translation, and Compiling, Vol. I: Parsing;Aho,1972
4. Relativizations of the P = ? NP question;Baker;SIAM J. Comput.,1975
5. A note on disjunctive form tautologies;Bauer;SIGACT News,1973