σ11-formulae on finite structures (1983)

by Miklós Ajtai
Venue:Annals of Pure and Applied Logic