Descriptive and computational complexity (1989)

by N Immerman
Venue:In Computational Complexity Theory, Proc. Symp. Applied Math