SOCRATES: a system for automatically synthesizing and optimizing combinational logic. - David Gregory; Karen A. Bartlett; Aart J. de Geus; Gary D. Hachtel (DAC, 1986)

Synthesis and Optimization of Multilevel Logic under Timing Constraints. - Karen A. Bartlett; William W. Cohen; Aart J. de Geus; Gary D. Hachtel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1986)

Multi-level logic minimization using implicit don't cares. - 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 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)

Timing optimization of multiphase sequential logic. - Karen A. Bartlett; Gaetano Borriello; Sitaram Raju (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)