On the use of Lee-codes for constructing multiple-valued error-correcting decision diagrams | IEEE Conference Publication | IEEE Xplore