"Efficient and Effective Redundancy Removal for Million-Gate Circuits."

Michel R. C. M. Berkelaar, Koen van Eijk (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics