TY  - JOUR
A1  - Stoffel, Dominik
A1  - Kunz, Wolfgang
T1  - Logic equivalence checking by optimization techniues
Y1  - 1996
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/26289
ER  -