Confluence by Decreasing Diagrams


We present a confluence criterion, local decreasingness, for abstract reduction systems. This criterion is shown to be a considerable generalisation of several well-known confluence criteria.