Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. - Hiroyuki Seki; Toshinori Takai; Youhei Fujinaka; Yuichi Kaji (RTA, 2002)