\relax 
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\citation{[ctrs]}
\citation{[OCRS]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[Mar]}
\citation{[levy]}
\citation{[le80]}
\citation{[GLM]}
\citation{[GLM]}
\citation{[H.L.]}
\citation{[Kl.CRS]}
\citation{[GLM]}
\citation{[berry]}
\citation{[colog]}
\citation{[colog]}
\citation{[levy]}
\citation{[le80]}
\citation{[ctrs]}
\citation{[levy]}
\citation{[le80]}
\citation{[AL]}
\citation{[Kl.CRS]}
\citation{[K.S.]}
\citation{[Nip.b]}
\citation{[Oos.th]}
\citation{[OR94]}
\citation{[le80]}
\citation{[Kl.TRS]}
\citation{[Sta]}
\citation{[GLM]}
\citation{[Oos.th]}
\citation{[GLM]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual Structures}{3}}
\citation{[Kl.CRS]}
\citation{[le80]}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces An Elementary Diagram}}{4}}
\newlabel{elem-diag}{{1}{4}}
\newlabel{D.levy.str.}{{2.1}{4}}
\newlabel{L.perm.equiv.}{{2.1}{4}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Klop Tiling Diagram}}{5}}
\newlabel{tiling-diag}{{2}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Berry's Stability}}{5}}
\newlabel{berry-stab}{{3}{5}}
\citation{[le80]}
\citation{[levy]}
\citation{[H.L.]}
\citation{[OR94]}
\citation{[Oos.th]}
\citation{[Kl.CRS]}
\citation{[OCRS]}
\citation{[Nip.b]}
\citation{[KKSdV]}
\citation{[OCRS]}
\citation{[B.K.K.S.]}
\citation{[ctrs]}
\citation{[ctrs]}
\citation{[ctrs]}
\citation{[ctrs]}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\citation{[H.L.]}
\citation{[ctrs]}
\citation{[Mar]}
\newlabel{P.perm.brry.eqv.}{{2.2}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {3}The Relative Normalization Theorem for regular stable sets}{6}}
\newlabel{S.rn.sdrs.}{{3}{6}}
\newlabel{D.rel.need.}{{3.1}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Preservation of External Reductions}}{7}}
\newlabel{extern-red}{{4}{7}}
\newlabel{D.ext.reductions.}{{3.3}{7}}
\newlabel{L.external.rem.ext.}{{3.1}{7}}
\newlabel{T.3.1.c.}{{3.1}{7}}
\newlabel{L.disj.red.creat.}{{3.2}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces External Redex Creation}}{8}}
\newlabel{disj-redex}{{5}{8}}
\newlabel{L.4.1.c.stab.}{{3.3}{8}}
\newlabel{E.nec.of.stab.for.norm.the.}{{3.1}{8}}
\newlabel{D.4.1.}{{3.4}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Constructing Semi-needed Reductions}}{9}}
\newlabel{moving-needed}{{6}{9}}
\newlabel{D.4.2.}{{3.5}{9}}
\newlabel{L.4.4.}{{3.4}{9}}
\newlabel{T.4.1.}{{3.2}{9}}
\newlabel{L.pers.need.}{{3.5}{9}}
\citation{[ctrs]}
\citation{[ctrs]}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Preservation of Quasi-needed Reductions}}{10}}
\newlabel{Di.ess.}{{7}{10}}
\newlabel{L.4.5.}{{3.6}{10}}
\newlabel{T.4.2.}{{3.1}{10}}
\citation{[ctrs]}
\citation{[ctrs]}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Need for Closure under parallel moves}}{11}}
\newlabel{clos-perm}{{8}{11}}
\newlabel{R.irreg.no.hyper.}{{3.1}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Relative Normalization in Family Structures}{11}}
\newlabel{S.rn.fs.}{{4}{11}}
\citation{[le80]}
\citation{[levy]}
\citation{[K.S.]}
\citation{[Mar]}
\citation{[AL]}
\citation{[AL]}
\citation{[le80]}
\citation{[le80]}
\newlabel{D.DRS.}{{4.1}{12}}
\newlabel{P.fam.prop.}{{4.1}{12}}
\newlabel{D.fem.dev.}{{4.2}{12}}
\citation{[le80]}
\citation{[ctrs]}
\citation{[OCRS]}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Independence of the axiom [termination]}}{13}}
\newlabel{non-hyper}{{9}{13}}
\newlabel{P.BCT.}{{4.2}{13}}
\newlabel{L.drs.stab.pdrs.}{{4.1}{13}}
\newlabel{L.4.1.c.}{{4.2}{13}}
\citation{[le80]}
\citation{[le80]}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Termination of Needed Reduction}}{14}}
\newlabel{term-need}{{10}{14}}
\newlabel{T.ex.M-need.}{{4.1}{14}}
\newlabel{L.3.3.c.}{{4.3}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {5}The Relative Optimality Theorem}{14}}
\newlabel{S.opt.fs.}{{5}{14}}
\newlabel{D.weak.need.}{{5.1}{14}}
\newlabel{T.cor.weak.need.}{{5.1}{14}}
\citation{[le80]}
\citation{[ctrs]}
\citation{[C.F.]}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[colog]}
\citation{[rta]}
\newlabel{L.fam.compl.}{{5.1}{15}}
\newlabel{T.unif.opt.}{{5.2}{15}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusions and future work}{15}}
\newlabel{S.concl.}{{6}{15}}
\citation{[K.S.]}
\citation{[Mar91]}
\citation{[Mar]}
\citation{[levy]}
\citation{[le80]}
\citation{[Sta]}
\bibcite{[AL]}{AsLa93}
\bibcite{[Bar]}{Bar84}
\bibcite{[B.K.K.S.]}{BKKS87}
\bibcite{[berry]}{Ber79}
\bibcite{[C.F.]}{CuFe58}
\bibcite{[D.J.]}{DeJo90}
\bibcite{[ctrs]}{GlKh94}
\bibcite{[GLM]}{GLM92}
\bibcite{[H.L.]}{HuL\'e91}
\bibcite{[K.S.]}{KeSl89}
\bibcite{[KKSdV]}{KKSV93}
\bibcite{[colog]}{Kha88}
\bibcite{[OCRS]}{Kha92}
\bibcite{[rta]}{Kha93}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Kl.TRS]}{Klo92}
\bibcite{[levy]}{L\'ev78}
\bibcite{[le80]}{L\'ev80}
\bibcite{[Mar91]}{Mar91}
\bibcite{[Mar]}{Mar92}
\bibcite{[Nip.b]}{Nip93}
\bibcite{[Nok.thi.]}{N\"ok94}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[OR94]}{OR94}
\bibcite{[Sta]}{Sta89}