Upper and lower bounds for first order expressibility (1982)

by N Immerman
Venue:J. Comput. System Sci