Sivakumar : A path ordering for proving termination of term rewriting systems (1985)

by tKNSSsl D Kapur, P Narendran, G
Venue:Proceedings of the 10th Colloquium on Trees in Algebra and Programming, LNCS 185