Noboru Takagi Masao Mukaidono Fundamental Properties of Kleene-Stone Logic Functions. 63-70 1991 ISMVL db/conf/ismvl/ismvl1991.html#TakagiM91