I. Latkin, “The Recognition Complexity of Decidable Theories”, EMJ, vol. 13, no. 1, pp. 44–68, Mar. 2022.