\relax 
\citation{[Pk]}
\citation{[Bar]}
\citation{[Cour.]}
\citation{[rta]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction\relax }{1}}
\citation{[OCRS]}
\citation{[Kl.CRS]}
\citation{[ERS]}
\citation{[Kl.CRS]}
\citation{[rta]}
\citation{[rta]}
\citation{[Levy]}
\citation{[AL]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[K.S.]}
\citation{[ERS]}
\citation{[NIP.91]}
\citation{[D.J.],[Kl.TRS]}
\citation{[Pk]}
\citation{[Acz]}
\citation{[O.R.]}
\citation{[kor]}
\citation{[OCRS]}
\citation{[Pk]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Orthogonal Combinatory Reduction Systems\relax }{4}}
\newlabel{D.1.}{{2.1}{4}}
\newlabel{D.CRS.}{{2.2}{5}}
\newlabel{REMARK 2.}{{2.1}{5}}
\newlabel{D.12.}{{2.3}{5}}
\newlabel{D.4.}{{2.4}{5}}
\newlabel{D.ort.crs.m}{{2.5}{5}}
\newlabel{Def of S}{{2.6}{5}}
\newlabel{D.8.}{{2.7}{6}}
\newlabel{D.desc.oc.}{{2.8}{6}}
\newlabel{D.11.}{{2.9}{6}}
\newlabel{D.Q/u.}{{2.10}{6}}
\citation{[OCRS]}
\citation{[1],[Mar]}
\citation{[rta]}
\citation{[rta]}
\newlabel{D.P/Q.}{{2.11}{7}}
\newlabel{T.CRst.oc.}{{2.1}{7}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Similarity of redexes\relax }{7}}
\newlabel{D.7.4.}{{3.1}{7}}
\newlabel{D.ess.}{{3.2}{7}}
\newlabel{L.3.1.}{{3.1}{7}}
\newlabel{T.3.1.}{{3.2}{7}}
\newlabel{D.subcrs.}{{3.3}{7}}
\newlabel{D.5.4.}{{3.4}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}The Replacement Lemma\relax }{8}}
\newlabel{D.5.2.}{{3.5}{8}}
\newlabel{L.5.9.}{{3.3}{8}}
\newlabel{L.5.7.}{{3.4}{8}}
\newlabel{L.5.11.}{{3.5}{8}}
\newlabel{L.5.17.}{{3.6}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}The Essential Similarity Lemma\relax }{9}}
\newlabel{D.3.5.}{{3.6}{9}}
\newlabel{L.3.8.}{{3.7}{9}}
\newlabel{L.repr.dev.}{{3.8}{9}}
\newlabel{L.Rep.lem.}{{3.9}{9}}
\citation{[Levy]}
\newlabel{C.erasure.}{{3.1}{10}}
\newlabel{L.les.sim.}{{3.10}{10}}
\newlabel{C.ess.sim.}{{3.2}{11}}
\newlabel{C.ho.ess.sim.red.}{{3.3}{11}}
\newlabel{L.stab.ess.sim.}{{3.11}{11}}
\newlabel{L.indep.}{{3.12}{11}}
\newlabel{T.2.3.}{{3.13}{11}}
\newlabel{L.ess.gen.}{{3.14}{11}}
\newlabel{C.ess.gen.}{{3.4}{12}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Decidability of weak normalization in HRPSs\relax }{12}}
\newlabel{D.ho.ess.succ.}{{4.1}{12}}
\newlabel{L.WN.}{{4.1}{12}}
\newlabel{L.find.ess.subt.}{{4.2}{13}}
\newlabel{A.find.ess.subt.}{{4.1}{13}}
\newlabel{D.triv.red}{{4.2}{13}}
\newlabel{L.find.essent.ind.}{{4.3}{13}}
\newlabel{A.find.ess.ind}{{4.2}{13}}
\citation{[Bar]}
\newlabel{T.dec.wn.hrps.}{{4.1}{15}}
\newlabel{C.Turing.inc.hrps.}{{4.1}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Persistent systems\relax }{15}}
\newlabel{D.5.5.}{{5.1}{15}}
\newlabel{L.7.6.}{{5.1}{15}}
\newlabel{L.gen.}{{5.1}{16}}
\newlabel{C.m-similar.}{{5.1}{16}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Optimal normalization in persistent CRSs\relax }{16}}
\newlabel{T.2.10.}{{6.1}{16}}
\citation{[Levy]}
\citation{[AL]}
\bibcite{[Acz]}{1}
\bibcite{[AL]}{2}
\bibcite{[Bar]}{3}
\bibcite{[Cour.]}{4}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Further work\relax }{17}}
\@writefile{toc}{\string\contentsline\space {section}{{\string\psc\space References}}{17}}
\bibcite{[D.J.]}{5}
\bibcite{[1]}{6}
\bibcite{[K.S.]}{7}
\bibcite{[ERS]}{8}
\bibcite{[OCRS]}{9}
\bibcite{[rta]}{10}
\bibcite{[Kl.CRS]}{11}
\bibcite{[Kl.TRS]}{12}
\bibcite{[kor]}{13}
\bibcite{[Levy]}{14}
\bibcite{[Mar]}{15}
\bibcite{[NIP.91]}{16}
\bibcite{[O.R.]}{17}
\bibcite{[Pk]}{18}