Logic Minimization Algorithms for VLSI Synthesis - Robert K. Brayton; Gary D. Hachtel; Curtis T. McMullen; Alberto L. Sangiovanni-Vincentelli (Springer, 1984)

Prime Implicants, Minimum Covers, and the Complexity of Logic Simplification. - Curtis T. McMullen; J. Shearer (IEEE Trans. Computers, 1986)