Latkin, I. The Recognition Complexity of Decidable Theories. EMJ 2022, 13, 44-68.