path: root/chapters/core/implementation/02-interaction-rules.tex

\subsection{Interaction Rules}
\label{sec:interaction-rules}

% This subsection talks about the interaction rules that implement the symbolic simplification