L. Macchiarulo;P. Civera
-;-
A Comment on 'Graph-Based Algorithm for Boolean Function Manipulation'
IEEE Transactions on Computers