Anantharaman, S.S.Anantharaman項潔Mzali, J.J.MzaliHsiang, JiehJiehHsiang2009-02-032018-07-052009-02-032018-07-051990-05http://ntur.lib.ntu.edu.tw//handle/246246/118716en-USSbReve:A Term Rewritiong Laboratory with Unfailing Completionconference paper