A novel term rewriting strategy for certain hierarchical AC-algebraic systems OkoliIfeyinwa 2012 A novel term rewriting strategy for certain hierarchical AC-algebraic systems