Sequential multi-valued network simplification using redundancy removal | IEEE Conference Publication | IEEE Xplore