@article{EMJ_2022_13_1_a4,
     author = {I. V. Latkin},
     title = {The recognition complexity of decidable theories},
     journal = {Eurasian mathematical journal},
     pages = {44--68},
     publisher = {mathdoc},
     volume = {13},
     number = {1},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/EMJ_2022_13_1_a4/}
}