Thanases Pheidas, Xavier Vidaux, Lecture Notes in Computer Science, 3526, New Computational Paradigms, 2005, 408
С. М. Дудаков, “Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением”, Матем. заметки, 76:3 (2004), 362–371 ; S. M. Dudakov, “Collapse Result for Extensions of the Presburger Arithmetic by a Unary Function Compatible with Addition”, Math. Notes, 76:3 (2004), 339–347
А. Л. Семёнов, “Условия конечности для алгебр отношений”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Труды МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 103–107 ; A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96
Ivan Korec, “A list of arithmetical structures complete with respect to the first-order definability”, Theoretical Computer Science, 257:1-2 (2001), 115
Patrick Cegielski, Denis Richard, “On arithmetical first-order theories allowing encoding and decoding of lists”, Theoretical Computer Science, 222:1-2 (1999), 55
Thanases Pheidas, “Extensions of Hilbert's tenth problem”, J. symb. log, 59:02 (1994), 372
Pascal Michel, “Complexity of logical theories involving coprimality”, Theoretical Computer Science, 106:2 (1992), 221
Kevin J. Compton, C. Ward Henson, “A uniform method for proving lower bounds on the computational complexity of logical theories”, Annals of Pure and Applied Logic, 48:1 (1990), 1
А. А. Тверской, “Неконструктивизируемые формальные арифметические структуры”, Изв. АН СССР. Сер. матем., 51:1 (1987), 111–130 ; A. A. Tverskoi, “Nonconstructivizable formal arithmetic structures”, Math. USSR-Izv., 30:1 (1988), 103–122