Generalized first-order spectra and polynomial-time recognizable sets, in: Complexity of Computation, Proc (1973)

by R Fagin
Venue:in: SIAM–AMS Proc