TY  - JOUR
A1  - Kunz, Wolfgang
A1  - Stoffel, Dominik
A1  - Menon, P.
T1  - Logic optimization and equivalence checking by implication analysis
Y1  - 1997
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/24822
ER  -