A first-order isomorphism theorem (1997)

by E Allender, J Balcazar, N Immerman
Venue:SIAM Journal on Computing