Выражение одной системы комбинаторов через другую

[arseniiv]

Мало читал на эту тему. Существует ли (и какой) алгоритм, чтобы получить выражение каждого комбинатора $A_1, \ldots, A_m$ в базисе из $B_1, \ldots, B_n$ и наоборот? (Про неединственность разложения знаю, достаточно любого из них.)

Например, известен алгоритм выражения в базисе $S, K, I$, довольно простой из-за того, что они простые $\lambda$-термы. Наверно, для базисов, состоящие из «сложных» комбинаторов, алгоритм будет сложнее?

Наверняка, это уже разработали много лет назад, киньте в меня книжкой или статьёй на тему!