Jordan Gergov;Christoph Meinel
-;-
Efficient Boolean Manipulation with OBDD's Can be Extended to FBDD's
IEEE Transactions on Computers