Алгоритм для вычисления присоединения в нуле подавленные двоичные диаграммы бионарного решения

Какой алгоритм вычисляет соединение двух нулевых сдавленных диаграмм двоичных решений?

Я искал его сейчас, я просто могу Найду это. Это также не в книге Кнута, насколько я могу найти, хотя это дает определение результата.

Я бы предпочел не приходиться за какую-либо конкретную реализацию; Я нахожу детали реализации, очень отвлекающие.

Присоединение ZDDS f и G {A ∪ B | a ∈ F и b ∈ G}