Labelings for Decreasing Diagrams

Labelings for Decreasing Diagrams

This page provides experimental details for proving confluence by incrementally labeling decreasing diagrams.

Experiments have been performed with CSI version 0.4, which is available here.