Languages which capture complexity classes (1987)

by N Immerman
Venue:SIAM J. Comput