1 -formulae on structures (1983)

by Miklos Ajtai
Venue:Annals of Pure and Applied Logic