1. J.T.Baldwin and S.Shelah, Second-order quantifiers and complexity of theories,Notre Dame Journal of Formal Logic 26, no.3 (1985), pp. 229303.
2. A. H.Lachlan, w-Categorical tree-decomposable structures, preprint, 1990.
3. J.T.Baldwin, Definable second-order quantifiers, In: Model Theoretic Logics, J. Barwise and S. Feferman (eds.), Springer-Heidelberg, 1985, pp. 445–477.
4. R. Mckenzie and M. Valeriote, The Structure of Locally Finite Decidable Varieties, Birkhauser, Boston, 1989.
5. A. I. Abakumov, E. A. Palyutin, M. A. Taclin, and Yu. E. Shishmarev, Categorical quasivarieties, Algebra i Logika 11, no. 1 (1972), pp. 3–38 (in Russian).