Return to Article Details The Recognition Complexity of Decidable Theories Download Download PDF