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.