Efficient Boolean manipulation with OBDD's can be extended to FBDD's - Gergov, Jordan; Meinel, Christoph (1993)