NARROWING STRATEGIES FOR ARBITRARY CANONICAL REWRITE SYSTEMS
Alexander Bockmayr, Stefan Krischer, Andreas T. Werner · Fundamenta Informaticae · 1995
Narrowing is a universal unification procedure for equational theories defined by a,canonical term rewriting system. In its original form it is extremely inefficient. Therefore, many optimizations have been proposed during the last years. In this pap