\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{[SeRa]}\citation{[K-tra]}\citation{[Kenn]}\citation{[AnMi]}\citation{[Ant]}\citation{[Gar]}\citation{[colog],[rta]}\citation{[Mel2]}\citation{[Oos99]}\citation{[rel-glc]}\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}}\citation{[rndrs]}\citation{[berry]}\citation{[Win89]}\citation{[colog],[rta]}\citation{[dndrs]}\citation{[C.R.]}\citation{[Hin]}\citation{[Klo92],[Hu80]}\citation{[Klo92]}\citation{[GLM]}\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual Structures}{3}{section.2}}\newlabel{D.levy.str.}{{2.3}{3}{Deterministic Residual Structures\relax }{thm.2.3}{}}\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]}\newlabel{D.ext.reductions.}{{2.4}{5}{Deterministic Residual Structures\relax }{thm.2.4}{}}\citation{[H.L.]}\citation{[rndrs]}\citation{[B.L.]}\newlabel{L.external.rem.ext.}{{2.5}{6}{Deterministic Residual Structures\relax }{thm.2.5}{}}\newlabel{L.ext.lem.mult.}{{2.6}{6}{Deterministic Residual Structures\relax }{thm.2.6}{}}\newlabel{L.disj.red.creat.}{{2.7}{6}{Deterministic Residual Structures\relax }{thm.2.7}{}}\@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}{}}\newlabel{D.mj.}{{3.1}{6}{Construction of the $\lleq $-meet operation\relax }{thm.3.1}{}}\newlabel{T.int.glb.}{{3.2}{6}{Construction of the $\lleq $-meet operation\relax }{thm.3.2}{}}\citation{[rndrs],[rel-glc]}\citation{[dndrs]}\citation{[rndrs],[rel-glc]}\citation{[rel-glc]}\citation{[H.L.]}\citation{[B.K.K.S.]}\citation{[A.O.]}\citation{[Nok.thi.]}\citation{[Mid]}\citation{[Yos]}\citation{[A.F.]}\citation{[Xi]}\@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}{}}\newlabel{D.rel.need.}{{4.1}{7}{Stable sets of finite or infinite results\relax }{thm.4.1}{}}\citation{[Bar]}\citation{[rndrs]}\newlabel{E.nohyp.}{{4.2}{8}{Stable sets of finite or infinite results\relax }{thm.4.2}{}}\newlabel{D.rel.ord.}{{4.4}{8}{Stable sets of finite or infinite results\relax }{thm.4.4}{}}\newlabel{L.leeq.imp.seqv}{{4.5}{9}{Stable sets of finite or infinite results\relax }{thm.4.5}{}}\newlabel{D.clo.reduc.sets.}{{4.6}{9}{Stable sets of finite or infinite results\relax }{thm.4.6}{}}\citation{[dndrs]}\citation{[Bar]}\citation{[le76],[Lon]}\citation{[Ber96]}\newlabel{D.red.need.ess.}{{4.7}{10}{Stable sets of finite or infinite results\relax }{thm.4.7}{}}\citation{[Bar]}\citation{[mfcs],[mfcs-tcs]}\@writefile{toc}{\contentsline {section}{\numberline {5}Relative Normalization in SDRSs}{12}{section.5}}\newlabel{S.rn.sdrs.}{{5}{12}{Relative Normalization in SDRSs\relax }{section.5}{}}\newlabel{P.cre.res.need.}{{5.1}{12}{Relative Normalization in SDRSs\relax }{thm.5.1}{}}\newlabel{D.can.sn.}{{5.2}{12}{Relative Normalization in SDRSs\relax }{thm.5.2}{}}\newlabel{L.4.4.1.}{{5.3}{12}{Relative Normalization in SDRSs\relax }{thm.5.3}{}}\newlabel{P.ne.re.sta.reg.}{{5.4}{13}{Relative Normalization in SDRSs\relax }{thm.5.4}{}}\newlabel{L.4.5.}{{5.5}{13}{Relative Normalization in SDRSs\relax }{thm.5.5}{}}\newlabel{ne.fa.norm.reg.}{{5.6}{13}{Relative Normalization in SDRSs\relax }{thm.5.6}{}}\citation{[H.L.]}\newlabel{D.qpn.}{{5.7}{14}{Relative Normalization in SDRSs\relax }{thm.5.7}{}}\newlabel{T.min.fin.}{{5.8}{14}{Relative Normalization in SDRSs\relax }{thm.5.8}{}}\citation{[stable]}\bibcite{[A.O.]}{1}\bibcite{[Ant]}{2}\bibcite{[AnMi]}{3}\bibcite{[A.F.]}{4}\bibcite{[Bar]}{5}\bibcite{[B.K.K.S.]}{6}\newlabel{T.qpmn.gen.min.str.}{{5.9}{15}{Relative Normalization in SDRSs\relax }{thm.5.9}{}}\@writefile{toc}{\contentsline {section}{\numberline {6}Concluding remarks}{15}{section.6}}\newlabel{S.concl.}{{6}{15}{Concluding remarks\relax }{section.6}{}}\@writefile{toc}{\contentsline {section}{References}{15}{section*.1}}\bibcite{[Ber96]}{7}\bibcite{[berry]}{8}\bibcite{[B.L.]}{9}\bibcite{[Bou]}{10}\bibcite{[C.R.]}{11}\bibcite{[C.F.]}{12}\bibcite{[Gar]}{13}\bibcite{[rndrs]}{14}\bibcite{[rel-glc]}{15}\bibcite{[GLM]}{16}\bibcite{[Hin]}{17}\bibcite{[Hu80]}{18}\bibcite{[H.L.]}{19}\bibcite{[Kenn]}{20}\bibcite{[KKSdV]}{21}\bibcite{[K-tra]}{22}\bibcite{[colog]}{23}\bibcite{[rta]}{24}\bibcite{[stable]}{25}\bibcite{[dndrs]}{26}\bibcite{[mfcs]}{27}\bibcite{[mfcs-tcs]}{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{[SeRa]}{42}\bibcite{[Sta]}{43}\bibcite{[Win89]}{44}\bibcite{[Xi]}{45}\bibcite{[Yos]}{46}\newlabel{LastPage}{{}{18}{\relax }{}{}}