A first-order isomorphism theorem (1993)

by E Allender, J Balcázar, N Immerman
Venue:In Proc. 10th STACS, volume 665 of Lect. Notes in Comp. Sci