Yutaka Hata Naotake Kamiura Kazuharu Yamato Multiple-Valued Product-of-Sums Expression with Truncated Sum. 103- 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100103abs.htm db/conf/ismvl/ismvl1997.html#HataKY97