Computing Characteristic Sets of Bounded Unions of Polynomial Ideals. - Itsuo Takamatsu; Masanori Kobayashi; Hiroo Tokunaga; Akihiro Yamamoto (JSAI, 2007)