A first-order isomorphism theorem (1997)

by Eric Allender, José L Balcázar, Neil Immerman
Venue:SIAM Journal on Computing