A multiple-valued logic synthesis using the Kleenean coefficients | IEEE Conference Publication | IEEE Xplore