A new method for verifying sequential circuits. - Kenneth J. Supowit; Steven J. Friedman (DAC, 1986)

Delaunay Graphs are almost as Good as Complete Graphs. - David P. Dobkin; Steven J. Friedman; Kenneth J. Supowit (Discret. Comput. Geom., 1990)

Finding the Optimal Variable Ordering for Binary Decision Diagrams. - Steven J. Friedman; Kenneth J. Supowit (IEEE Trans. Computers, 1990)