Gronemeier. Approximating Boolean Functions by Obdds. Springer Berlin Heidelberg, 2004, doi:10.1007/978-3-540-28629-5_17.