\relax 
\citation{[Pk]}
\citation{[Bar]}
\citation{[Cour]}
\citation{[rta],[otps],[ocps]}
\citation{[OCRS]}
\citation{[Kl.CRS]}
\citation{[OCRS]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\citation{[Kl.CRS]}
\citation{[rta]}
\citation{[Levy]}
\citation{[hrps]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[kor]}
\citation{[OCRS]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Orthogonal Expression Reduction Systems}{4}}
\newlabel{S.CRS}{{2}{4}}
\newlabel{D.1.}{{2.1}{4}}
\newlabel{D.CRS.}{{2.2}{4}}
\citation{[Kl.CRS],[OCRS]}
\citation{[Bar]}
\citation{[Levy]}
\citation{[OCRS]}
\citation{[rta]}
\citation{[1],[Mar]}
\citation{[rta]}
\newlabel{T.CRst.oc.}{{2.1}{6}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Similarity of redexes}{6}}
\newlabel{S.sim.}{{3}{6}}
\newlabel{L.3.1.}{{3.1}{6}}
\newlabel{D.subcrs.}{{3.1}{6}}
\newlabel{D.7.4.}{{3.2}{6}}
\newlabel{D.5.4.}{{3.3}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}The Replacement Lemma}{7}}
\newlabel{D.5.2.}{{3.4}{7}}
\newlabel{L.Sred.}{{3.2}{7}}
\newlabel{L.5.17.}{{3.3}{7}}
\citation{[Levy],[AL]}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}The Essential Similarity Lemma}{8}}
\newlabel{L.repr.dev.}{{3.4}{8}}
\newlabel{L.Rep.lem.}{{3.5}{8}}
\newlabel{C.erasure.}{{3.1}{9}}
\newlabel{L.les.sim.}{{3.6}{9}}
\citation{[rta]}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}The Uniform Generation Lemma}{10}}
\newlabel{L.indep.}{{3.7}{10}}
\newlabel{T.2.3.}{{3.8}{10}}
\newlabel{L.stab.ess.sim.}{{3.9}{10}}
\newlabel{L.ess.gen.}{{3.10}{10}}
\citation{[rta]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Decidability of weak normalization in HRPSs}{11}}
\newlabel{S.main}{{4}{11}}
\newlabel{D.ho.ess.succ.}{{4.1}{11}}
\newlabel{L.WN.}{{4.1}{11}}
\newlabel{L.find.ess.subt.}{{4.2}{11}}
\newlabel{A.find.ess.subt.}{{4.1}{11}}
\newlabel{D.triv.red}{{4.2}{11}}
\newlabel{L.find.essent.ind.}{{4.3}{11}}
\newlabel{A.find.ess.ind}{{4.2}{12}}
\newlabel{T.dec.wn.hrps.}{{4.1}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Persistent systems}{13}}
\newlabel{S.pers.}{{5}{13}}
\newlabel{D.5.5.}{{5.1}{13}}
\citation{[Levy],[AL]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Optimal normalization in persistent ERSs}{14}}
\newlabel{S.opt.}{{6}{14}}
\newlabel{T.2.10.}{{6.1}{14}}
\bibcite{[AL]}{1}
\bibcite{[Bar]}{2}
\bibcite{[Cour]}{3}
\bibcite{[D.J.]}{4}
\bibcite{[1]}{5}
\bibcite{[OCRS]}{6}
\bibcite{[rta]}{7}
\bibcite{[otps]}{8}
\bibcite{[hrps]}{9}
\bibcite{[ocps]}{10}
\bibcite{[Kl.CRS]}{11}
\bibcite{[Kl.TRS]}{12}
\bibcite{[kor]}{13}
\bibcite{[Levy]}{14}
\bibcite{[Mar]}{15}
\bibcite{[Pk]}{16}