Bottoni, P.; Hoffmann, K.; Parisi Presicce, F. Termination of Algebraic Rewriting With Inhibitors. eceasst 2006, 4.