Decidability and Confluence of beta-eta-top reduction in Fsub