Devadas Varma E. A. Trachtenberg Design automation tools for efficient implementation of logic functions by decomposition. 901-916 1989 8 IEEE Trans. on CAD of Integrated Circuits and Systems 8 http://doi.ieeecomputersociety.org/10.1109/43.31549 db/journals/tcad/tcad8.html#VarmaT89