Hiroaki Kikuchi Noboru Takagi Shohachiro Nakanishi Masao Mukaidono Uniqueness of Partially Specified Multiple-Valued Kleenean Function. 242-247 1995 ISMVL http://computer.org/proceedings/ismvl/7118/71180242abs.htm db/conf/ismvl/ismvl1995.html#KikuchiTNM95