Wegener, I <br/><br/>
Branching programs and binary decision diagrams: Theory and applications 

 - Philadelphia  SIAM: Society for Industrial and Applied Mathematics  2000 
 - x, 408p. 
 - SIAM monograps on discrete mathematics and applications .
<br/><br/><label>ISBN: </label>0-89871-458-3