1. Ebbinghaus, H.-D.: Extended logics: The general framework. In: Barwise, J., Feferman, S. (eds.) Model-Theoretic Logics, pp. 25–76. Berlin Heidelberg New York: Springer 1985
2. Ebbinghaus, H.-D., Flum, J., Thomas, W.: Mathematical Logic, 2nd edn. Berlin Heidelberg New York: Springer, 1994.
3. Grädel, E., McColm, G.: On the power of deterministic transitive closures. Inf. Comput.119, 129–135 (1995)
4. Grohe, M.: The Structure of Fixed-Point Logics. PhD thesis, Albert-Ludwigs Univerität Freiburg (1994)
5. Grohe, M.: Arity hierarchies. Ann. Pure Appl. Logic (to appear)