Complexity of formula classes in first order logic with functions, Fundamentals of computation theory (1989)

by E Gr adel
Venue:FCT `89), Lecture Notes in Computer Science