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