Definability with bounded number of bound variables (1989)

by N Immerman, D Kozen
Venue:Information and Computation