\relax \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]}\citation{[rta]}\citation{[Mel2]}\citation{[Oos99]}\citation{[rel-glc]}\citation{[rndrs]}\citation{[berry]}\citation{[Win89]}\citation{[colog]}\citation{[rta]}\citation{[dndrs]}\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}\citation{[C.R.]}\citation{[Hin]}\citation{[Klo92]}\citation{[Hu80]}\citation{[Klo92]}\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual Structures}{2}}\newlabel{D.levy.str.}{{2.3}{2}}\citation{[GLM]}\citation{[Sta]}\citation{[rndrs]}\citation{[Sta]}\citation{[Sta]}\citation{[GLM]}\citation{[GLM]}\citation{[Mel.th]}\citation{[Oos.th]}\citation{[Raa.th]}\citation{[Raa.th]}\citation{[KKSdV]}\citation{[GLM]}\citation{[H.L.]}\citation{[levy]}\citation{[B.L.]}\citation{[le80]}\citation{[Bou]}\citation{[Sta]}\citation{[Mel.th]}\citation{[H.L.]}\citation{[rndrs]}\citation{[B.L.]}\newlabel{D.ext.reductions.}{{2.4}{4}}\newlabel{L.external.rem.ext.}{{2.5}{4}}\newlabel{L.ext.lem.mult.}{{2.6}{4}}\newlabel{L.disj.red.creat.}{{2.7}{4}}\@writefile{toc}{\contentsline {section}{\numberline {3}Construction of the $\unlhd _L$-meet operation}{4}}\newlabel{S.meet.}{{3}{4}}\newlabel{D.mj.}{{3.1}{4}}\newlabel{T.int.glb.}{{3.2}{4}}\citation{[rndrs]}\citation{[rel-glc]}\citation{[dndrs]}\citation{[rndrs]}\citation{[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]}\citation{[Bar]}\citation{[rndrs]}\@writefile{toc}{\contentsline {section}{\numberline {4}Stable sets of finite or infinite results}{5}}\newlabel{S.st.res.}{{4}{5}}\newlabel{D.rel.need.}{{4.1}{5}}\newlabel{E.nohyp.}{{4.2}{5}}\newlabel{D.rel.ord.}{{4.4}{5}}\newlabel{L.leeq.imp.seqv}{{4.5}{6}}\newlabel{D.clo.reduc.sets.}{{4.6}{6}}\citation{[dndrs]}\citation{[Bar]}\citation{[le76]}\citation{[Lon]}\citation{[Ber96]}\citation{[Bar]}\citation{[mfcs]}\citation{[mfcs-tcs]}\newlabel{D.red.need.ess.}{{4.7}{7}}\@writefile{toc}{\contentsline {section}{\numberline {5}Relative Normalization in SDRSs}{8}}\newlabel{S.rn.sdrs.}{{5}{8}}\newlabel{P.cre.res.need.}{{5.1}{8}}\newlabel{D.can.sn.}{{5.2}{8}}\newlabel{L.4.4.1.}{{5.3}{8}}\newlabel{P.ne.re.sta.reg.}{{5.4}{8}}\newlabel{L.4.5.}{{5.5}{8}}\citation{[H.L.]}\newlabel{ne.fa.norm.reg.}{{5.6}{9}}\newlabel{D.qpn.}{{5.7}{9}}\newlabel{T.min.fin.}{{5.8}{9}}\newlabel{T.qpmn.gen.min.str.}{{5.9}{9}}\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}\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}\@writefile{toc}{\contentsline {section}{\numberline {6}Concluding remarks}{10}}\newlabel{S.concl.}{{6}{10}}\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}