Decidable theories. in (1977)

by M O Rabin
Venue:Handbook of Mathematical Logic, Jon Barwise, ed., Elsevier Science B.V., Amsterdam (The