Elena Bunina, Alexei Myasnikov, Eugene Plotkin, “The Diophantine problem in Chevalley groups”, Journal of Algebra, 650 (2024), 219
А. Г. Мясников, М. Сохраби, “Диофантовы проблемы в классических матричных группах”, Изв. РАН. Сер. матем., 85:6 (2021), 205–244 ; A. G. Myasnikov, M. Sohrabi, “The Diophantine problem in the classical matrix groups”, Izv. Math., 85:6 (2021), 1220–1256
OLGA KHARLAMPOVICH, ALEXEI MYASNIKOV, “UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS”, J. symb. log., 83:3 (2018), 1204
Bella V. Rozenblat, “Elementary theories of completely simple semigroups”, Isr J Math, 128:1 (2002), 355