\relax 
\citation{[O'Don.]}
\citation{[Kl.TRS]}
\citation{[Kl.CRS],[K.S.],[NIP.91],[OCRS]}
\citation{[Bar.76]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction\relax }{1}}
\citation{[Ned.73]}
\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 }{3}}
\newlabel{D.1.}{{2.1}{3}}
\newlabel{D.CRS.}{{2.2}{3}}
\newlabel{E. 6.}{{2.1}{4}}
\newlabel{REMARK 2.}{{2.1}{4}}
\newlabel{D.12.}{{2.3}{4}}
\newlabel{D.4.}{{2.4}{4}}
\newlabel{D.ort.cr.}{{2.5}{4}}
\newlabel{Def of S}{{2.6}{4}}
\newlabel{D.8.}{{2.7}{5}}
\newlabel{D.desc.oc.}{{2.8}{5}}
\citation{[OCRS]}
\citation{[otps]}
\citation{[1],[Mar]}
\citation{[rta]}
\newlabel{D.11.}{{2.9}{6}}
\newlabel{D.Q/u.}{{2.10}{6}}
\newlabel{D.P/Q.}{{2.11}{6}}
\newlabel{T.CRst.oc.}{{2.1}{6}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Properties of $S$-reductions\relax }{6}}
\newlabel{D.ess.}{{3.1}{6}}
\newlabel{L.3.1.}{{3.1}{6}}
\newlabel{T.3.1.}{{3.2}{6}}
\citation{[otps]}
\newlabel{D.5.2.}{{3.2}{7}}
\newlabel{L.5.9.}{{3.3}{7}}
\newlabel{L.5.7.}{{3.4}{7}}
\newlabel{L.5.11.}{{3.5}{7}}
\newlabel{L.5.17.}{{3.6}{7}}
\newlabel{D.5.3.}{{3.3}{7}}
\citation{[Ned.73]}
\citation{[Kl.CRS]}
\citation{[Kl.CRS]}
\newlabel{L.5.24.}{{3.7}{8}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Perpetual strategies in OCRSs\relax }{8}}
\newlabel{D.6.1.}{{4.1}{8}}
\newlabel{E.Rmu.}{{4.1}{9}}
\newlabel{L.6.2.}{{4.1}{9}}
\newlabel{L.6.5.}{{4.2}{10}}
\newlabel{L.6.7.}{{4.1}{10}}
\newlabel{P.quasi-seq.}{{4.1}{10}}
\newlabel{L.6.13.}{{4.3}{10}}
\newlabel{L.6.14.}{{4.4}{10}}
\newlabel{L.6.15.}{{4.5}{10}}
\newlabel{D.6.3.}{{4.2}{10}}
\citation{[Kl.CRS]}
\citation{[rta]}
\newlabel{L.6.16.}{{4.6}{11}}
\newlabel{T.6.1.}{{4.1}{11}}
\newlabel{D.abs.oc.}{{4.3}{11}}
\newlabel{D.lim.red.}{{4.4}{11}}
\newlabel{L.6.17.}{{4.7}{11}}
\newlabel{L.6.18.}{{4.8}{12}}
\newlabel{T.6.3.}{{4.2}{12}}
\citation{[Kl.CRS]}
\citation{[Kl.CRS]}
\citation{[Kl.CRS],[otps]}
\citation{[otps]}
\citation{[Bar.76]}
\citation{[Bar]}
\citation{[Bar]}
\citation{[B.Kl.]}
\citation{[Gro.]}
\citation{[otps]}
\newlabel{L.term SN=muWN.}{{4.2}{13}}
\newlabel{E. Rmu non.sn.}{{4.3}{13}}
\newlabel{D.lrabs.oc.}{{4.5}{13}}
\newlabel{unabs.red}{{4.3}{13}}
\citation{[hrps]}
\citation{[hrps]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Longest reductions in strongly persistent OCRSs\relax }{14}}
\newlabel{D.5.5.}{{5.1}{14}}
\newlabel{L.7.7.}{{5.1}{14}}
\newlabel{D.5.4.}{{5.2}{14}}
\newlabel{P.main.seq.}{{5.1}{15}}
\newlabel{D. str.S-sim.}{{5.3}{15}}
\newlabel{L.7.8.}{{5.2}{15}}
\newlabel{D.7.5.}{{5.4}{16}}
\newlabel{L.7.9.}{{5.3}{17}}
\newlabel{L.7.10.}{{5.4}{17}}
\newlabel{L.7.11.}{{5.5}{17}}
\citation{[hrps]}
\citation{[hrps]}
\citation{[hrps]}
\newlabel{L.7.12.}{{5.6}{18}}
\newlabel{L.7.13.}{{5.7}{18}}
\newlabel{T.sn.cr.}{{5.1}{18}}
\newlabel{T.7.2.}{{5.2}{18}}
\newlabel{A.7.2.}{{5.1}{18}}
\bibcite{[Acz]}{1}
\bibcite{[Bar]}{2}
\bibcite{[Bar.76]}{3}
\bibcite{[B.Kl.]}{4}
\bibcite{[D.J.]}{5}
\bibcite{[Gro.]}{6}
\bibcite{[1]}{7}
\bibcite{[K.S.]}{8}
\bibcite{[ERS]}{9}
\bibcite{[OCRS]}{10}
\bibcite{[rta]}{11}
\bibcite{[otps]}{12}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.1}The least upper bound of lengths of developments\relax }{19}}
\@writefile{toc}{\string\contentsline\space {section}{{\string\psc\space References}}{19}}
\bibcite{[hrps]}{13}
\bibcite{[Kl.CRS]}{14}
\bibcite{[Kl.TRS]}{15}
\bibcite{[kor]}{16}
\bibcite{[Mar]}{17}
\bibcite{[Ned.73]}{18}
\bibcite{[NIP.91]}{19}
\bibcite{[O'Don.]}{20}
\bibcite{[O.R.]}{21}
\bibcite{[Pk]}{22}