TY - JOUR A1 - Stoffel, Dominik A1 - Kunz, Wolfgang A1 - Gerber, Stefan T1 - And/Or reasoning graphs for determining prime implicants in multi-level combinational networks Y1 - 1997 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/24853 ER -