Representation of switching circuits by binary-decision programs (1959)

by C Y Lee
Venue:Bell System Technical Journal