AFCRC technical reports TR (series). 55-118. Circuit minimization, sum to one process for irredundant sums [with list of references; by] Edward W. Samson, Rolf K. Mueller.

Tools