Sathiamoorthy Subbarayan Lucas Bordeaux Youssef Hamadi Knowledge Compilation Properties of Tree-of-BDDs. 502-507 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#SubbarayanBH07 http://www.aaai.org/Library/AAAI/2007/aaai07-079.php