С. С. Гончаров, Р. Миллер, В. С. Харизанова, “Тьюринговы степени полных формул почти простых моделей”, Алгебра и логика, 58:3 (2019), 417–425 ; S. S. Goncharov, R. Miller, V. Harizanov, “Turing degrees of complete formulas of almost prime models”, Algebra and Logic, 58:3 (2019), 282–287
Е. Б. Фокина, “Алгоритмические свойства моделей сигнатуры с двумя одноместными функциональными символами”, Вестн. НГУ. Сер. матем., мех., информ., 8:1 (2008), 90–101