Jawahar Jain James R. Bitner Magdy S. Abadir Jacob A. Abraham Donald S. Fussell Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions. 1230-1245 1997 46 IEEE Trans. Computers 11 db/journals/tc/tc46.html#JainBAAF97 http://doi.ieeecomputersociety.org/10.1109/12.644298