Sergiu Rudeanu Dan A. Simovici A Graph-Theoretical Approach to Boolean Interpolation of Non-Boolean Functions. 245-250 2004 conf/ismvl/2004 ISMVL http://csdl.computer.org/comp/proceedings/ismvl/2004/2130/00/21300245abs.htm db/conf/ismvl/ismvl2004.html#RudeanuS04