Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu 0001. Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. Mathematical Structures in Computer Science, 32(7):898-933, August 2022. [doi]
Abstract is missing.