Rewrite Proofs and Computations (1995)

by J-P Jouannaud
Venue:Proof and Computation