Н. А. Баженов, М. Харрисон-Трейнор, “Построение разрешимых графов по разрешимым структурам”, Алгебра и логика, 58:5 (2019), 553–573; N. A. Bazhenov, M. Harrison-Trainor, “Constructing decidable graphs from decidable structures”, Algebra and Logic, 58:5 (2019), 369–382
