1A. Abdollahi and M.Pedram. "A new canonical form for fast Boolean matching in logic synthesis and verification," In Design Automation Conf., 2005. pp: 379- 384.
2K.Kertzer."DAGON: Technology mapping and local optimization." Proceedings of 24th IEEE ACM Design Automation Conference,1987.pp:341-347.