Decidable theories (1977)

by M Rabin
Venue:Handbook of Mathematical Logic