Termination of Term Rewriting: Interpretation and Type Elimination (1994)

Cached

Download Links

by Hans Zantema
Venue:Journal of Symbolic Computation
Citations:99 - 15 self