An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications
scientific article; zbMATH DE number 3547110