1. [4] Engeler Erwin , Äquivalenzklassen von n-Tupeln. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol. 5 (1959), pp. 340–345.
2. [3] Ehrenfeucht Andrzej , Separable theories. Bulletin L’Académie Polonaise des Science, Série des Sciences Mathématiques, Astronomiques et Physiques , vol. 9 (1961), pp. 17–19.
3. [13] Hirschfeldt Denis R. , Shore Richard A. , and Slaman Theodore A. , The atomic model theorem and type omitting. Transactions of the American Mathematical Society , vol. 361 (2009), no. 11, pp. 5805–5837.
4. [19] Peretjat´kin Mikhail G. , A criterion for strong constructivizability of a homogeneous model. Algebra i Logika , vol. 17 (1978), no. 4, pp. 436–454.