1. An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications
2. A mathematical characterization of interpretation between theories
3. Back-and-forth system for arbitrary quantifiers. In: Mathematical Logic in Latin America, North-Holland Publ. Comp., Amsterdam 1980, pp. 83–102.
4. Large Infinitary Languages. North-Holland Publ. Amsterdam 1975.