1. L. W. Badger, An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications, Pacific Journal of Mathematics 72 (1977), pp. 293–304.
2. K. J.Barwise, Back-and-forth through infinitary logic,In M. D. Morley (ed.),Studies in Model Theory, MAAStudies in Mathematics, pp. 5–34.
3. K. J. Barwise, Axioms for abstract model theory, Annals of Mathematical Logic 7 (1974), pp. 221–265.
4. W. E. Brown, Infinitary languages, generalized quantifiers and generalized products, Doctoral Dissertation, Dartmouth College, 1972, 118 pp.
5. X. Caicedo, Maximality and interpolation in abstract logics (back-and-
forth techniques), Doctoral Dissertation, University of Maryland, 1978, 146 pp.