A sufficient condition for the termination of the direct sum of term rewriting systems (1989)

by A Middeldorp
Venue:In Proceedings of the 4th IEEE Symposium on Logic in Computer Science