Hubert Comon-Lundh

Rewriting, Computation and Proof