Logic decomposition algorithms for the timing optimization of multi-level logic. - Pierre G. Paulin; Franck J. Poirot (ICCD, 1989)