\relax 
\citation{[O'Don.]}
\citation{[Kl.TRS]}
\citation{[OCRS]}
\citation{[Bar.76]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\citation{[otps]}
\citation{[Bar.76]}
\citation{[Bar.76],[Bar]}
\citation{[Bar.76]}
\citation{[Ned.73],[Kl.CRS]}
\citation{[H.L.]}
\citation{[ocps]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[kor]}
\citation{[OCRS]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Orthogonal Expression Reduction Systems}{3}}
\newlabel{D.1.}{{2.1}{3}}
\citation{[OCRS]}
\newlabel{D.CRS.}{{2.2}{4}}
\citation{[OCRS]}
\citation{[rta]}
\citation{[H.L.],[Mar]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Properties of $S$-reductions}{5}}
\citation{[Bar.76],[Bar]}
\newlabel{L.Sred.}{{3.1}{6}}
\newlabel{L.5.17.}{{3.2}{6}}
\newlabel{L.5.24.}{{3.3}{6}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}A Perpetual Strategy for OERSs}{6}}
\newlabel{D.Rmu.}{{4.1}{6}}
\citation{[Kl.CRS]}
\newlabel{L.6.15.}{{4.1}{7}}
\newlabel{P.quasi-seq.}{{4.1}{7}}
\citation{[H.L.]}
\citation{[H.L.],[rta]}
\citation{[otps]}
\newlabel{L.6.17.}{{4.2}{8}}
\newlabel{L.6.18.}{{4.3}{8}}
\newlabel{T.6.3.}{{4.1}{9}}
\citation{[Bar]}
\citation{[Bar.76],[Bar]}
\citation{[Gro.]}
\citation{[Kl.CRS]}
\citation{[Kl.CRS],[otps]}
\citation{[otps]}
\newlabel{E.Rmu non.sn.}{{4.1}{10}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Longest Reductions in Strongly Persistent OERSs}{10}}
\newlabel{D.5.5.}{{5.1}{10}}
\newlabel{D.5.4.}{{5.2}{11}}
\newlabel{L.7.8.}{{5.1}{11}}
\newlabel{D.7.5.}{{5.3}{12}}
\newlabel{L.mult.}{{5.2}{13}}
\newlabel{L.7.13.}{{5.3}{13}}
\citation{[B.Kl.]}
\citation{[dVr]}
\citation{[vdP]}
\bibcite{[Bar]}{1}
\bibcite{[Bar.76]}{2}
\bibcite{[B.Kl.]}{3}
\bibcite{[Gro.]}{4}
\bibcite{[H.L.]}{5}
\newlabel{A.7.2.}{{5.1}{14}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Conclusions}{14}}
\bibcite{[OCRS]}{6}
\bibcite{[rta]}{7}
\bibcite{[otps]}{8}
\bibcite{[ocps]}{9}
\bibcite{[Kl.CRS]}{10}
\bibcite{[Kl.TRS]}{11}
\bibcite{[kor]}{12}
\bibcite{[Mar]}{13}
\bibcite{[Ned.73]}{14}
\bibcite{[O'Don.]}{15}
\bibcite{[vdP]}{16}
\bibcite{[dVr]}{17}