Calculating-Confluence Compositionally.

Gordon J. Pace, Frdric Lang, Radu Mateescu

Browse the full CAV paper archive.