Deciding Quasi-Reducibility Using Witnessed Test Sets

A new approach to deciding quasi-reducibility is proposed by intro- ducing witnesses. Furthermore, an algorithm for constructing witnessed test sets of lelh-linear rewrite systems h. been designed. Compared with the standard test set approach presented by Kapur, Narendran and Zhang, the method proposed generates test sets of smaller size and therefore has more efficient applications .