The Reduction of Redundancy in Solving Prime Implicant Tables. - Insley B. Pyne; Edward Joseph McCluskey Jr. (IRE Trans. Electron. Comput., 1962)