1 -formulae on finite structures (1983)

by M Ajtai
Venue:Ann. Pure Applied Logic