1. Büchi, J.R.: Turing machines and the entscheidungsproblem. Math. Ann.148, 201–213 (1962).
2. Gurevich, Y.: Existential interpretation. Algebra and Logic4, 71–85 (1965).
3. Gurevich, Y.: New applications of the existential interpretation method. Abstracts of 1972 Moscow Conference in Math. Logic.
4. Gurevich, Y.: Semi-conservative reduction. Arch. math. Logik18, 23–25 (1976).
5. Lewis, H.R.: Unsolvable classes of quantificational formulas. Addison-Wesley Publishing Co. (to appear).