Gelijkaardige items: Rewriting, Computation and Proof :