A note on termination in combinations of heterogeneous term rewriting systems (1987)

by H Ganzinger, R Giegerich
Venue:Bulletin of the European Association for Theoretical Computer Science