Descriptive complexity / Neil Immerman. - Immerman, Neil, 1953- (Graduate texts in computer science., 1999)