Clemens Gröpl Hans Jürgen Prömel Anand Srivastav Ordered binary decision diagrams and the Shannon effect. 67-85 2004 142 Discrete Applied Mathematics 1-3 http://dx.doi.org/10.1016/j.dam.2003.02.003 db/journals/dam/dam142.html#GroplPS04