Donald L. Dietmeyer Local Transformations via Cube Operations. 892-902 1987 6 IEEE Trans. on CAD of Integrated Circuits and Systems 5 http://dx.doi.org/10.1109/TCAD.1987.1270332 db/journals/tcad/tcad6.html#Dietmeyer87