Chih-Chang Lin, David Ihsin Cheng, Malgorzata Marek-Sadowska, Kuang-Chien Chen. Logic rectification and synthesis for engineering change. In Isao Shirakawa, editor, Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995. ACM, 1995. [doi]
Abstract is missing.