1. S. Buss. Bounded Arithmetic. Preliminary Draft of Ph.D. Dissertation, Princeton Universit, y. October 1984.
2. P. Clote. “Partitions in arithmetic.” Springer Lecture Notes in Mathematics 1130, Methods in Mathematical Logic. Proceedings Caracas 1983, ed. C.A. DiPrisco (1985), pp. 32–68.
3. P. Clote, “Applications of the low basis theorem in arithmetic,” Springer Lecture Notes in Mathematics 1141, Recursion Theory Week. Proceedings Oberwolfach 1984, ed. H.D. Ebbinghaus, G.H. Müller, G.E. Sacks (1985). pp. 65–88.
4. P. Clote, “A note on the MacDowell-Specker theorem,” submitted to Fundamenta Mathernaticae
5. “A note on the leftmost infinite branch of a recursive tree.”;Clote,1984