Finite variable logics in descriptive complexity theory (1998)

by M Grohe
Venue:Bulletin of Symbolic Logic