Decidable theories (1977)

by Michael O Rabin
Venue:Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics