Termination of term rewriting: interpretation and type elimination (1994)

by H Zantema
Venue:Journal of Symbolic Computation