Upper and lower bounds for order expressibility (1982)

by N Immerman
Venue:J. Comput. Syst. Sci