Yet Another Rewriting Tool September 15, 2005 0 minutes read LtU • MLP • papers • rewriting • semantics