Ebendt R. Advanced BDD Optimization / by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler. // Springer e-books. URL: http://dx.doi.org/10.1007/b107399