1. Two theorems on random polynomial time;Adleman;Proc. 19th IEEE Symp. Foundations of Computer Science,1978
2. Applications of many-sorted interpolation theorems;Feferman;Proc. Tarski Symp.,1974
3. Turing machines that take advice;Karp,1982
4. Computational complexity of decision problems in elementary number theory;Manders,1980