Classification of $AEA$ formulas by letter atoms

This publication has 1 reference indexed in Scilit:

• Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory of Harvard University, vol. 31, Harvard University Press, Cambridge, Mass., 1962, pp. 32–47.
  The Journal of Symbolic Logic, 1965