Strong Normalizability for the Combined System of the Typed λ Calculus and an Arbitrary Convergent Term Rewrite System (1989)

by M Okada
Venue:In Proc. of ISSAC