Bottoni, P. et al. 2006. Termination of Algebraic Rewriting with Inhibitors. Electronic Communications of the EASST. 4, (Dec. 2006). DOI:https://doi.org/10.14279/tuj.eceasst.4.15.