1. Ackermann, Wilhelm 1928 "Über die Erfüllbarkeit gewisser Zählaüsdrucke," Math. Ann. V. 100 pp. 638–649
2. Ackermann, Wilhelm 1936. "Beiträge zum Entscheidungsproblem der mathematischen Logik". Math. Ann. V. 112 pp. 414–432.
3. Drake, Frank R, 1974 Set theory. An introduction to large cardinals. North-Holland. Amsterdam.
4. Denton, John 1963 Applications of the Herbrand theorem. Ph.D. thesis, Harvard University, Cambridge, Mass.
5. Dreben, Burten and John Denton 1963 "Three solvable cases," Notices Amer.Math.Soc. V.10 p 590.