K. W. Kim, T. W. Kim, C. L. Liu, and S. - M. Kang,
“Domino Logic Synthesis Based on Implication Graph”,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 21, pp. 232–240, 2002.
K. W. Kim, T. W. Kim, T. T. Hwang, S. - M. Kang, and C. L. Liu,
“Logic Transformation for Low Power Synthesis”,
ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 7, pp. 1–19, 2002.