"A note on termination in combinatiosn of heterogeneous term rewriting systems."

Harald Ganzinger, Robert Giegerich (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics