- A. L. Semenov, “Mappings Preserving Relations Definable by Linear Order”, Moscow Univ. Math. Bull., 75, № 5, 2020, 222
- Aleksei Lvovich Semenov, Sergei Fedorovich Soprunov, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Известия Российской академии наук. Серия математическая, 85, № 6, 2021, 245
- Andrei Albertovich Muchnik, Aleksei Lvovich Semenov, “Решетка определимости в порядке рациональных чисел”, Математические заметки, 108, № 1, 2020, 102
- A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. Math., 85, № 6, 2021, 1257
- Aleksej L. Semenov, Igor Yu. Grishin, Nadezhda I. Gallini, Rena R. Timirgaleeva, 2024 XXVII International Conference on Soft Computing and Measurements (SCM), 2024, 186
- Aleksej L. Semenov, Igor Yu. Grishin, Nadezhda I. Gallini, Rena R. Timirgaleeva, 2024 XXVII International Conference on Soft Computing and Measurements (SCM), 2024, 186