Hélène Fargier Pierre Marquis Knowledge Compilation Properties of Trees-of-BDDs, Revisited. 772-777 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-133.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#FargierM09