Gaspard Férey, Jean-Pierre Jouannaud: Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. PPDP 2021: 8:1-8:14