Uniqueness of partially specified multiple-valued Kleenean function | IEEE Conference Publication | IEEE Xplore