Definability with Bounded Number of Bound Variables

Neil Immerman, Dexter Kozen

Browse the full LICS paper archive.