"Definability with Bounded Number of Bound Variables"

Neil Immerman, Dexter Kozen (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics