Languages that Capture Complexity Classes (1987)

by N Immerman
Venue:SIAM J. Comput