[1] Quine W. V.: The Problem of Simplifying Truth-Functions. American Mathematical Monthly, 59, 1952, pp. 521-31. DOI 10.1080/00029890.1952.11988183 | MR 0051191 | Zbl 0048.24503

[2] Quine W. V.: A Way to Simplify Truth Functions. American Mathematical Monthly, 62,1955, pp. 627-31. DOI 10.1080/00029890.1955.11988710 | MR 0075886 | Zbl 0068.24209

[3] McCluskey E. J.: Minimization of Boolean Functions. Bell System Technical Journal, 35, 1956, pp. 1417-44. DOI 10.1002/j.1538-7305.1956.tb03835.x | MR 0082876

[4] Svoboda A.: Some Applications of Contact Grids. Stroje na zpracování informací, VI, 1958, pp. 9-23. MR 0180458