AFCRC technical report TR (series). 56-110. Direct determination irredundant forms of Boolean function from set of prime implicants [with list of references; by] S. R. Petrick.

Tools