diff --git a/doc/tl/tl.tex b/doc/tl/tl.tex index 57c9f8ede..6c1c5d79e 100644 --- a/doc/tl/tl.tex +++ b/doc/tl/tl.tex @@ -1469,7 +1469,7 @@ SERE. \sere{r_1\FUSION b_1}\AND \sere{r_2\FUSION b_2} &\equiv \sere{r_1\ANDALT r_2}\FUSION\sere{b_1\AND b_2} \\ \end{align*} -Stared subformul\ae{} are rewritten in Star Normal +Starred subformul\ae{} are rewritten in Star Normal Form~\cite{bruggeman.96.tcs} with: \[r\STAR{\mvar{0}..\mvar{j}} \equiv r^\circ\STAR{\mvar{0}..\mvar{j}} \] where $r^\circ$ is recursively defined as follows: