Σ 1 1-formulae on finite structures (1983)

by M Ajtai
Venue:Annals of Pure and Applied Logic