Left-Incompatible Term Rewriting Systems and Functional Strategy
Masahiko Sakai · 1997
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. 1