Delia Kesner: Confluence Properties of Extensional and Non-Extensional <i>lambda</i>-Calculi with Explicit Substitutions (Extended Abstract). RTA 1996: 184-199