@article{oai:nagoya.repo.nii.ac.jp:00007857,
 author = {SAKAI, Masahiko},
 issue = {12},
 journal = {IEICE Transactions on Information and Systems},
 month = {Dec},
 note = {This paper extends left-incompatible term rewriting systems defined by Toyama et al. [17]. It is also shown that the functional strategy is normalizing in the class, where the functional strategy is the reduction strategy that finds index by some rule selection method and top-down and left-to-right lazy pattern matching method.},
 pages = {1176--1182},
 title = {Left-Incompatible Term Rewriting Systems and Functional Strategy},
 volume = {E80-D},
 year = {1997}
}