Karen A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang. Multi-level logic minimization using implicit don t cares. IEEE Trans. on CAD of Integrated Circuits and Systems, 7(6):723-740, 1988. [doi]
Abstract is missing.