Rewriting, Computation And Proof by