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]
@article{DowekFJL22,
title = {Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs},
author = {Gilles Dowek and Gaspard Férey and Jean-Pierre Jouannaud and Jiaxiang Liu 0001},
year = {2022},
month = {August},
doi = {10.1017/S0960129522000044},
url = {https://doi.org/10.1017/S0960129522000044},
researchr = {https://researchr.org/publication/DowekFJL22},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {32},
number = {7},
pages = {898-933},
}