Termination of Combined (Rewrite and lambda-Calculus) Systems.

Carlos Loría-Sáenz Joachim Steinbach Termination of Combined (Rewrite and lambda-Calculus) Systems. 143-147 1992 conf/ctrs/1992 CTRS db/conf/ctrs/ctrs92.html#Loria-SaenzS92