Harrie Jan Sander Bruggink Residuals in Higher-Order Rewriting. 123-137 2003 conf/rta/2003 RTA http://dx.doi.org/10.1007/3-540-44881-0_10 db/conf/rta/rta2003.html#Bruggink03