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

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