Gaspard Férey, Jean-Pierre Jouannaud. Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. In Niccolò Veltri, Nick Benton, Silvia Ghilezan, editors, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM, 2021. [doi]
Abstract is missing.