Divide and Congruence III: Stability & Divergence.

Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik

Browse the full CONCUR paper archive.