An algorithm for identifying and selecting the primed implicants of a multiple-output Boolean function. - Sharon R. Perkins; Tom Rhyne (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)