1. Ackermann, W., ‘Über die Ertüllbarkeit gewisser Zählausdrücke’, Math. Ann., 100 (1928), 638–649.
2. Bernays, P. and Schönfinkel, M., ‘Zum Entscheidungsproblem der Mathematischen Logik’, Math, Ann., 99 (1928), 342–372.
3. Church, A., ‘A Note on the Entscheidungsproblem’, J. Symbolic Logic, 1 (1936), 40–44.
4. Dreben, B. and Goldfarb, W. D., The Decision Problem: Solvable Classes of Quantificational Formulas, Addison-Wesley, Reading, Mass., U.S.A., 1979.
5. Denenberg, L. and Lewis, H. R., ‘Logical Syntax and Computational Complexity’, Lecture Notes in Math., 1104 (1984), 101–115.