Decidable Theories (1970)