Equivalence Checking of Non-Binary Combinational Netlists | IEEE Conference Publication | IEEE Xplore