Steffen van Bakel, Maribel Fernández. Normalization Properties of Typeable Term Rewriting Systems (Abstract). In Robert Nieuwenhuis, Albert Rubio, editors, 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. pages 9, 1995.
Abstract is missing.