selected publications academic article ORDERED BINARY DECISION DIAGRAMS AND THEIR SIGNIFICANCE IN COMPUTER-AIDED DESIGN OF VLSI CIRCUITS. Journal of Circuits, Systems, and Computers. 09:181-198. 1999