Σ1 1-formulae on finite structures (1983)

by M AJTAI
Venue:Ann. Pure Appl. Logic