1. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität;Asser;This Zeitschr.,1955
2. Weak second-order arithmetic and finite automata;Büchi;This Zeitschr.,1960
3. Fagin , R. 1973
4. Fagin , R. Complexity of Computation 1974 43 73
5. Fraissé , R. 1954