Multi-level Logic Optimization By Implication Analysis | IEEE Conference Publication | IEEE Xplore