Дейнега, О. Кластеризація лямбда термів з використанням вбудувань. МІА 2023, 59, 16-23.