1. Baur, W., Cherlin, G., Macintyre, A.: Totally categorical groups and rings. J. Algebra 57, 407–440 (1979)
2. Blumensath, A.: Automatic structures. Diploma Thesis, University of Aachen (1999)
3. Blumensath, A., Grädel, E.: Finite presentations of infinite structures: automata and interpretations. In: Gottlob, G., Hermann, M., Rusinowitch, M. (eds.) Proceedings of the 2nd International Workshop on Complexity in Automated Deduction (2002); to appear in Theory Comput. Syst.
4. Cenzer, D., Remmel, J.: Polynomial time versus recursive structures. Annals Pure Appl. Logic 54, 17–58 (1991)
5. Delhommé, C., Goranko, V., Knapik, T.: Automatic linear orderings (2003) (preprint)