Issue No.08 - August (1968 vol.17)
F.M. Brown , Dept. of Elec. Engrg. Air Force Institute of Technology
Quine shows ,  that a logical formula expressed as a sum of products may be transformed into the sum of all its prime implicants by repeated application of the following two rules.
F.M. Brown, "The Origin of the Method of Iterated Consensus", IEEE Transactions on Computers, vol.17, no. 8, pp. 802, August 1968, doi:10.1109/TC.1968.229129