Confluence of Layered Rewrite Systems.

Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa

Browse the full CSL paper archive.