On proving uniform termination and restricted termination of rewriting systems (0)

by J V Guttag, D Kapur, D Musser
Venue:Knowledge Representation and Classical Logic