S

Semantics and Rewriting