Descriptive complexity (1999)

by N Immerman