Val Tannen Jean H. Gallier Polymorphic Rewriting Conserves Algebraic Strong Normalization. 3-28 1991 83 Theor. Comput. Sci. 1 db/journals/tcs/tcs83.html#TannenG91