Кластеризація лямбда термів з використанням вбудувань. МІА. 2023;59:16-23. doi:10.26565/2304-6201-2023-59-02