Generalized first-order spectra and polynomial-time recognizable sets (1974)

by R Fagin
Venue:Complexity of Computation, SIAM-AMS Proceedings