Definability with Bounded Number of Bound Variables (1989)

by Neil Immerman , Dexter Kozen
Venue:Information and Computation
Citations:87 - 5 self