Rajeev K. Ranjan Jagesh V. Sanghavi Robert K. Brayton Alberto L. Sangiovanni-Vincentelli Binary decision diagrams on network of workstation. 358-364 1996 conf/iccd/1996 ICCD http://computer.org/proceedings/iccd/7554/75540358abs.htm db/conf/iccd/iccd1996.html#RanjanSBS96