Characteristic Sets for Unions of Regular Pattern Languages and Compactness. - Masako Sato; Yasuhito Mukouchi; Dao Zheng (ALT, 1998)