References
- Quine , W. V. 1955 . A way to simplify truth functions . American Mathematical Monthly , 62 ( 2 ) : 627 – 631 .
- Mc Cluskey , E. J. Jr. 1956 . MinimizationofBooleanfunctions . BellSystemTechnicalJournal , 35 ( 2 ) : 1417 – 1444 .
- Ogumbiyi , E. I. and Henley , E. J. 1981 . Irredundant forms and prime implicants of afunction with multistate variables . IEEE Transactions on Reliability , 30 ( 2 ) : 39 – 42 .
- Wilson , J. M. 1982 . A compact method for the minimisation of Boolean polynomials . International Journal of Computer Mathematics , 12 ( 2 ) : 3 – 12 .
- Wilson , J. M. 1983 . Interrupted permutations in lexicographic order . Computer Journal , 26 ( 2 ) : 92