Cut elimination and rewriting: termination proofs (1996)

by E-A Cichon, M Rusinowitch, S Selhab
Venue:Marc Aiguier and Delphine Longuet