Basic Theory of Logic Functions

[1]  Olivier Coudert,et al.  Implicit and incremental computation of primes and essential primes of Boolean functions , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[2]  Frank M. Brown.  The Origin of the Method of Iterated Consensus , 1968, IEEE Transactions on Computers.

[3]  Pierre L. Tison,et al.  Generalization of Consensus Theory and Application to the Minimization of Boolean Functions , 1967, IEEE Trans. Electron. Comput..