Mikhail N. Rybakov, Dmitry Shkatov. Trakhtenbrot theorem for classical languages with three individual variables. In Carina De Villiers, Hanlie Smuts, editors, Proceedings of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2019, Skukuza, South Africa, September 17-18, 2019. ACM, 2019. [doi]
Abstract is missing.