P. Bottoni, K. Hoffmann, and F. Parisi Presicce, “Termination of Algebraic Rewriting with Inhibitors”, ECEASST, vol. 4, Dec. 2006.