\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\citation{[C.F.]}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\citation{[Mid]}
\citation{[K-tra]}
\citation{[Kenn]}
\citation{[AnMi]}
\citation{[colog],[rta]}
\citation{[Mel2]}
\citation{[Oos99]}
\newlabel{FirstPage}{{}{1}{\relax }{}{}}
\newlabel{jrwgemail}{{1 }{1}{\relax }{footnote.0}{}}
\newlabel{zkemail}{{2 }{1}{\relax }{footnote.0}{}}
\global\@namedef{n@author@}{2}
\global\@namedef{n@collab@}{0}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
\@writefile{brf}{\backcite{[C.F.]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[H.L.]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[B.K.K.S.]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[Mar]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[Nok.thi.]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[Mid]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[K-tra]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[Kenn]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[AnMi]}{{1}{1}{section.1}}}
\@writefile{brf}{\backcite{[colog],[rta]}{{1}{1}{section.1}}}
\citation{[rel-glc]}
\citation{[rndrs]}
\citation{[berry]}
\citation{[Win89]}
\citation{[colog],[rta]}
\citation{[dndrs]}
\citation{[K-tra],[inflambda]}
\@writefile{brf}{\backcite{[Mel2]}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{[Oos99]}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{[rel-glc]}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{[rndrs]}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{[berry]}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{[Win89]}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{[colog],[rta]}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{[dndrs]}{{2}{1}{section.1}}}
\@writefile{brf}{\backcite{[K-tra],[inflambda]}{{2}{1}{section.1}}}
\citation{[C.R.]}
\citation{[Hin]}
\citation{[Klo92],[Hu80]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual Structures}{3}{section.2}}
\@writefile{brf}{\backcite{[C.R.]}{{3}{2}{section.2}}}
\@writefile{brf}{\backcite{[Hin]}{{3}{2}{section.2}}}
\@writefile{brf}{\backcite{[Klo92],[Hu80]}{{3}{2}{section.2}}}
\newlabel{D.levy.str.}{{2.2}{3}{Deterministic Residual Structures\relax }{thm.2.2}{}}
\citation{[GLM]}
\citation{[Sta]}
\citation{[rndrs]}
\citation{[Sta]}
\citation{[Sta]}
\citation{[GLM]}
\citation{[GLM]}
\citation{[Mel.th],[Oos.th],[Raa.th]}
\citation{[Raa.th]}
\citation{[KKSdV]}
\citation{[GLM]}
\citation{[H.L.],[levy],[B.L.],[le80],[Bou],[Sta],[Mel.th]}
\@writefile{brf}{\backcite{[GLM]}{{4}{2.2}{thm.2.2}}}
\@writefile{brf}{\backcite{[Sta]}{{4}{2.2}{thm.2.2}}}
\@writefile{brf}{\backcite{[Sta]}{{4}{2}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[GLM]}{{4}{2}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[GLM]}{{4}{2}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[Mel.th],[Oos.th],[Raa.th]}{{4}{2}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[Raa.th]}{{4}{2}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[KKSdV]}{{4}{2}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[GLM]}{{4}{2}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[H.L.],[levy],[B.L.],[le80],[Bou],[Sta],[Mel.th]}{{4}{2}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[rndrs]}{{4}{3}{Hfootnote.1}}}
\@writefile{brf}{\backcite{[Sta]}{{4}{3}{Hfootnote.1}}}
\newlabel{D.ext.reductions.}{{2.3}{5}{Deterministic Residual Structures\relax }{thm.2.3}{}}
\citation{[H.L.]}
\citation{[rndrs]}
\citation{[B.L.]}
\@writefile{brf}{\backcite{[H.L.]}{{6}{2}{thm.2.3}}}
\newlabel{L.external.rem.ext.}{{2.4}{6}{Deterministic Residual Structures\relax }{thm.2.4}{}}
\@writefile{brf}{\backcite{[rndrs]}{{6}{2}{thm.2.4}}}
\newlabel{L.ext.lem.mult.}{{2.5}{6}{Deterministic Residual Structures\relax }{thm.2.5}{}}
\newlabel{L.disj.red.creat.}{{2.6}{6}{Deterministic Residual Structures\relax }{thm.2.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Construction of the $\unlhd _L$-meet operation}{6}{section.3}}
\newlabel{S.meet.}{{3}{6}{Construction of the $\lleq $-meet operation\relax }{section.3}{}}
\@writefile{brf}{\backcite{[B.L.]}{{6}{3}{section.3}}}
\newlabel{D.mj.}{{3.1}{6}{Construction of the $\lleq $-meet operation\relax }{thm.3.1}{}}
\citation{[rndrs],[rel-glc]}
\citation{[WRS-report]}
\citation{[dndrs]}
\newlabel{T.int.glb.}{{3.2}{7}{Construction of the $\lleq $-meet operation\relax }{thm.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Stable sets of finite or infinite results}{7}{section.4}}
\newlabel{S.st.res.}{{4}{7}{Stable sets of finite or infinite results\relax }{section.4}{}}
\@writefile{brf}{\backcite{[rndrs],[rel-glc]}{{7}{4}{section.4}}}
\@writefile{brf}{\backcite{[WRS-report]}{{7}{4}{section.4}}}
\@writefile{brf}{\backcite{[dndrs]}{{7}{4}{section.4}}}
\newlabel{D.rel.ord.}{{4.2}{7}{Stable sets of finite or infinite results\relax }{thm.4.2}{}}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[A.O.]}
\citation{[Nok.thi.]}
\citation{[Mid]}
\citation{[Yos]}
\citation{[A.F.]}
\citation{[Xi]}
\citation{[Bar]}
\citation{[rndrs]}
\newlabel{L.leeq.imp.seqv}{{4.3}{8}{Stable sets of finite or infinite results\relax }{thm.4.3}{}}
\newlabel{D.clo.reduc.sets.}{{4.4}{8}{Stable sets of finite or infinite results\relax }{thm.4.4}{}}
\@writefile{brf}{\backcite{[H.L.]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[B.K.K.S.]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[A.O.]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[Nok.thi.]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[Mid]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[Yos]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[A.F.]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[Xi]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[Bar]}{{8}{4}{thm.4.4}}}
\@writefile{brf}{\backcite{[rndrs]}{{8}{4}{thm.4.4}}}
\newlabel{E.nohyp.}{{4.5}{8}{Stable sets of finite or infinite results\relax }{thm.4.5}{}}
\citation{[Bar]}
\citation{[le76],[Lon]}
\citation{[Ber96]}
\citation{[Bar]}
\@writefile{brf}{\backcite{[Bar]}{{9}{4}{thm.4.5}}}
\@writefile{brf}{\backcite{[le76],[Lon]}{{9}{4}{thm.4.5}}}
\@writefile{brf}{\backcite{[Ber96]}{{9}{4}{thm.4.5}}}
\citation{[mfcs],[mfcs-tcs]}
\@writefile{brf}{\backcite{[Bar]}{{10}{4}{thm.4.5}}}
\@writefile{brf}{\backcite{[mfcs],[mfcs-tcs]}{{10}{4}{thm.4.5}}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Relative Normalization in SDRSs}{10}{section.5}}
\newlabel{S.rn.sdrs.}{{5}{10}{Relative Normalization in SDRSs\relax }{section.5}{}}
\newlabel{P.cre.res.need.}{{5.1}{10}{Relative Normalization in SDRSs\relax }{thm.5.1}{}}
\newlabel{D.can.sn.}{{5.2}{10}{Relative Normalization in SDRSs\relax }{thm.5.2}{}}
\newlabel{L.4.4.1.}{{5.3}{11}{Relative Normalization in SDRSs\relax }{thm.5.3}{}}
\newlabel{P.ne.re.sta.reg.}{{5.4}{11}{Relative Normalization in SDRSs\relax }{thm.5.4}{}}
\newlabel{L.4.5.}{{5.5}{11}{Relative Normalization in SDRSs\relax }{thm.5.5}{}}
\newlabel{ne.fa.norm.reg.}{{5.6}{12}{Relative Normalization in SDRSs\relax }{thm.5.6}{}}
\newlabel{D.qpn.}{{5.7}{12}{Relative Normalization in SDRSs\relax }{thm.5.7}{}}
\citation{[H.L.]}
\citation{[stable]}
\bibcite{[A.O.]}{1}
\@writefile{brf}{\backcite{[H.L.]}{{13}{5}{thm.5.7}}}
\newlabel{T.min.fin.}{{5.8}{13}{Relative Normalization in SDRSs\relax }{thm.5.8}{}}
\newlabel{T.qpmn.gen.min.str.}{{5.9}{13}{Relative Normalization in SDRSs\relax }{thm.5.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Concluding remarks}{13}{section.6}}
\newlabel{S.concl.}{{6}{13}{Concluding remarks\relax }{section.6}{}}
\@writefile{brf}{\backcite{[stable]}{{13}{6}{section.6}}}
\bibcite{[AnMi]}{2}
\bibcite{[A.F.]}{3}
\bibcite{[Bar]}{4}
\bibcite{[B.K.K.S.]}{5}
\bibcite{[Ber96]}{6}
\bibcite{[berry]}{7}
\bibcite{[B.L.]}{8}
\bibcite{[Bou]}{9}
\bibcite{[C.R.]}{10}
\bibcite{[C.F.]}{11}
\bibcite{[rndrs]}{12}
\bibcite{[rel-glc]}{13}
\bibcite{[GLM]}{14}
\bibcite{[Hin]}{15}
\bibcite{[Hu80]}{16}
\@writefile{toc}{\contentsline {section}{References}{14}{section*.1}}
\bibcite{[H.L.]}{17}
\bibcite{[Kenn]}{18}
\bibcite{[KKSdV]}{19}
\bibcite{[K-tra]}{20}
\bibcite{[inflambda]}{21}
\bibcite{[colog]}{22}
\bibcite{[rta]}{23}
\bibcite{[stable]}{24}
\bibcite{[dndrs]}{25}
\bibcite{[mfcs]}{26}
\bibcite{[mfcs-tcs]}{27}
\bibcite{[WRS-report]}{28}
\bibcite{[Klo92]}{29}
\bibcite{[le76]}{30}
\bibcite{[levy]}{31}
\bibcite{[le80]}{32}
\bibcite{[Lon]}{33}
\bibcite{[Mar]}{34}
\bibcite{[Mel.th]}{35}
\bibcite{[Mel2]}{36}
\bibcite{[Mid]}{37}
\bibcite{[Nok.thi.]}{38}
\bibcite{[Oos.th]}{39}
\bibcite{[Oos99]}{40}
\bibcite{[Raa.th]}{41}
\bibcite{[Sta]}{42}
\bibcite{[Win89]}{43}
\bibcite{[Xi]}{44}
\bibcite{[Yos]}{45}
\newlabel{LastPage}{{}{16}{\relax }{}{}}