Lin, Hong-YiuHong-YiuLinLyuu, Yuh-DauhYuh-DauhLyuuMa, Tak ManTak ManMaTi, Yen-WuYen-WuTi2010-10-112018-07-052010-10-112018-07-052008-12http://ntur.lib.ntu.edu.tw//handle/246246/214196en-USTheoretical Computer Sciencejournal article10.1007/BFb0009628