sigma_{1}^{1}$ -formulae on finite structures (1983)

by M Ajtai
Venue:Annals of Pure and Applied Logic