Generalized spectra and polynomial time recognizable sets (1974)

by R Fagin
Venue:SIAM{AMS Proc