Rewrite Proofs and Computations (1995)

Cached

Download Links

by Jean-pierre Jouannaud
Venue:Proof and Computation
Citations:11 - 0 self