\relax 
\citation{[1]}
\citation{[11],Maitre,[12]}
\citation{[1]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\citation{[16]}
\citation{[12]}
\citation{[13]}
\citation{[3],[17]}
\citation{[19]}
\citation{[20]}
\citation{[21]}
\citation{[26]}
\citation{[1]}
\citation{[12]}
\citation{[1]}
\citation{[3]}
\citation{[11],Maitre,[12]}
\citation{[15]}
\citation{[2]}
\citation{[23]}
\citation{[9]}
\citation{[3]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Strict Confluence for OTRSs}{3}}
\newlabel{S. 2.}{{2}{3}}
\newlabel{D.desc.}{{2.1}{4}}
\newlabel{E. desc.}{{2.1}{4}}
\newlabel{D.Q/u}{{2.2}{4}}
\newlabel{D.P/Q.}{{2.3}{4}}
\citation{[1]}
\newlabel{D.str.eq.}{{2.4}{5}}
\newlabel{T.2.2.}{{2.1}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Correctness of the Essential Strategy}{5}}
\newlabel{S. 3.}{{3}{5}}
\newlabel{D.ess.}{{3.1}{5}}
\newlabel{L.3.1.}{{3.1}{5}}
\newlabel{L.3.2.}{{3.2}{5}}
\newlabel{T.3.1.}{{3.1}{5}}
\newlabel{L.3.3.}{{3.3}{5}}
\citation{[1]}
\newlabel{D.abs.}{{3.2}{6}}
\newlabel{L.abs1.}{{3.4}{6}}
\newlabel{L.abs2.}{{3.5}{6}}
\newlabel{L.abs3.}{{3.6}{6}}
\newlabel{T.abs.}{{3.1}{7}}
\newlabel{L.4.1.}{{3.7}{7}}
\newlabel{L.4.5.}{{3.8}{7}}
\newlabel{T.4.2.}{{3.2}{7}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}A Classification of OTRSs}{8}}
\newlabel{S. 4.}{{4}{8}}
\newlabel{D.cr}{{4.1}{8}}
\newlabel{D.psp.}{{4.2}{8}}
\newlabel{L.6.1.}{{4.1}{8}}
\newlabel{L.6.2.}{{4.2}{8}}
\newlabel{L.6.5.}{{4.3}{9}}
\newlabel{L.6.3.}{{4.4}{9}}
\newlabel{T.d of cl}{{4.1}{10}}
\newlabel{T.4.5.}{{4.1}{10}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Optimal Normalization}{10}}
\newlabel{S. 5.}{{5}{10}}
\newlabel{D.qis.}{{5.1}{10}}
\newlabel{L.5.1.}{{5.1}{10}}
\newlabel{L.5.2.}{{5.2}{11}}
\newlabel{T.5.1.}{{5.1}{12}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Properties of Inessential and Independent Subterms}{12}}
\newlabel{S. 6.}{{6}{12}}
\newlabel{D.3.3.}{{6.1}{12}}
\newlabel{D.3.5.}{{6.2}{12}}
\newlabel{L.3.8.}{{6.1}{12}}
\newlabel{T.3.4.}{{6.1}{12}}
\citation{[1]}
\citation{[12]}
\newlabel{L.3.9.}{{6.2}{13}}
\newlabel{L.3.10.}{{6.2}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Neededness and Essentiality}{13}}
\newlabel{S. N-E.}{{7}{13}}
\newlabel{D.need.}{{7.1}{13}}
\newlabel{T.N=E.}{{7.1}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {8}Optimal Reductions in Persistent TRSs}{13}}
\newlabel{S. 7.}{{8}{13}}
\newlabel{L.2.1.}{{8.1}{13}}
\newlabel{D.ess.ind.}{{8.1}{13}}
\newlabel{L.EI.}{{8.2}{13}}
\newlabel{T.2.3.}{{8.3}{13}}
\newlabel{P. 3.3.}{{8.1}{14}}
\newlabel{D.2.4.}{{8.2}{14}}
\newlabel{L.2.9.}{{8.4}{14}}
\newlabel{L.WN.}{{8.5}{14}}
\newlabel{L.ess*.}{{8.6}{14}}
\citation{[24]}
\citation{[14]}
\citation{[7]}
\bibcite{[11]}{1}
\bibcite{[15]}{2}
\bibcite{[9]}{3}
\bibcite{[1]}{4}
\newlabel{T.opt.norm ptrs.}{{8.1}{15}}
\bibcite{[13]}{5}
\bibcite{[16]}{6}
\bibcite{[21]}{7}
\bibcite{[14]}{8}
\bibcite{[7]}{9}
\bibcite{[3]}{10}
\bibcite{[17]}{11}
\bibcite{Maitre}{12}
\bibcite{[12]}{13}
\bibcite{[2]}{14}
\bibcite{[20]}{15}
\bibcite{[24]}{16}
\bibcite{[23]}{17}
\bibcite{[19]}{18}
\bibcite{[26]}{19}