Кластеризація лямбда термів з використанням вбудувань. МІА [інтернет]. 30, Жовтень 2023 [цит. за 25, Жовтень 2026];59:16-23. доступний у: https://periodicals.karazin.ua/mia/article/view/23700