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