Presentation of Boolean Polynomials as ZDD-Diagrams - PDF (Russo)