An Introduction to Binary Decision Diagrams. Internet (1996)

by H R Andersen