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