From diagrammatic confluence to modularity

Jean-Pierre Jouannaud, Jiaxiang Liu. From diagrammatic confluence to modularity. Theoretical Computer Science, 464:20-34, 2012. [doi]

Abstract

Abstract is missing.