Bottoni, P., Hoffmann, K., & Parisi Presicce, F. (2006). Termination of Algebraic Rewriting with Inhibitors. Electronic Communications of the EASST, 4. https://doi.org/10.14279/tuj.eceasst.4.15