\subsection{Rewriting under Strategies}\label{subsec:strat}


