Algebraic division for multilevel logic synthesis of multi-valued logic circuits | IEEE Conference Publication | IEEE Xplore