1. Abramson, H. and Dahl, V.: 1989, Logic Grammars, New York: Springer Verlag
2. Aho, A.V.: 1968, “Indexed Grammars”, Journal of the ACM
15, pp. 647–671
3. Apt, K.R.: 1990, “Logic Programming”, in: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B Chapter 10 Amsterdam: North-Holland, pp. 495–574
4. van Benthem, J.: 1985, Semantic Automata, Report No. CSLI-85–27, Center for the Study of Language and Information, Stanford University
5. Borger, E.: 1986, Berechenbarkeit, Komplexität, Logik, 2. Edition. Braunschweig/Wiesbaden: Vieweg