AFCRC technical reports TR (series). 55-109. Circuit minimization, minimal and irredundant Boolean sums by alternative set method [with list of references; by] Edward W. Samson, Rolf Mueller.