Termination of Curryfied Rewrite Systems. - Bjørn Kristoffersen (COMPASS/ADT, 1995)

On Introducing Higher Order Functions in ABEL. - Bjørn Kristoffersen; Ole-Johan Dahl (Nord. J. Comput., 1998)