1. Aanderaa, S. O., A new undecidable problem with application in logic, Doctoral thesis (Harvard University, Cambridge, Mass., U. S. A., 1966).
2. Turing Machines and the Entscheidungsproblem;Buchi;Math. Ann.,1962
3. An improved prenex normal form;Chang;J. Symbolic Lpgic,1962
4. Classification of AEA formulas by letter atoms;Dreben;Bull. Amer. Math. Soc.,1962
5. Turing machines with restricted memory access;Fischer;Information and Control,1966