David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller. Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 1378-1381, 2008. [doi]
Abstract is missing.