Chen, H.H.Chen項潔Kung, H. C.H. C.KungHsiang, JiehJiehHsiang2009-02-032018-07-052009-02-032018-07-051990-05http://ntur.lib.ntu.edu.tw//handle/246246/118673en-USOn Finite Representation of Infinite Termsconference paper