Decidable theories (1977)

by M Rabin
Venue:Handbook of Mathematical Logic (North-Holland