Theoretical Computer ScienceVolume 126, Issue 2, 25 April 1994, Pages 259-280Confluence by decreasing diagramsAuthor links open overlay panelVincent van OostromShow moreShareCitehttps://doi.org/10.1016/0304-3975(92)00023-KGet rights and contentUnder an Elsevier user licenseopen archiveAbstractWe 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.Previous article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1994 Published by Elsevier B.V.