
Бакиев Т. Н., Буфетов А. И., Васильев В. А. и др.
Успехи математических наук. 2025. Т. 80. № 2(482). С. 171-183.
Разумный П. М., Shamkanov D. S.
In bk.: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M.: 2023. P. 64-66.
Timorin V., Blokh A., Oversteegen L. et al.
math. arXiv. Cornell University, 2023
