1. Brayton, R.K. (1987) Factoring logic functions. IBM J. Res. Develop., 31 (2), 187–98.
2. Bartlett, K., Cohen, W. et al. (1986) Synthesis and optimisation of multilevel logic under timing constraints. IEEE Trans. CAD. CAD-5 (4), 582–96.
3. McCluskey, E. (1956) Minimisation of Boolean functions. Bell Syst. Tech. J., 36 (6), 1417–44.
4. Quine, W.V. (1952) The problem of simplifying truth functions. Am. Math. Mon., 59, 521–31.
5. Pyne, I.B. and McCluskey, E. (1962) The reduction of redundancy in solving prime implicant tables. IRE Trans. Elect. Comput., EC-11, 473–82.