A type-based termination criterion for dependently-typed higher-order rewrite systems (2004)

by F Blanqui
Venue:Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA ’04), volume 3091 of LNCS