\relax \citation{[C.F.]}\citation{[H.L.]}\citation{[B.K.K.S.]}\citation{[Mar]}\citation{[Nok.thi.]}\citation{[SeRa]}\citation{[K-tra]}\citation{[Kenn]}\citation{[AnMi]}\citation{[Ant]}\citation{[ctrs]}\citation{[OCRS]}\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}\citation{[levy]}\citation{[le80]}\citation{[Sta]}\citation{[GLM]}\citation{[Sta]}\citation{[GLM]}\citation{[GLM]}\citation{[Mar91]}\citation{[Mar]}\citation{[KKSdV]}\citation{[berry]}\citation{[colog]}\citation{[rta]}\citation{[colog]}\citation{[rta]}\citation{[levy]}\citation{[le80]}\citation{[ctrs]}\citation{[levy]}\citation{[le80]}\citation{[Mar]}\citation{[AL]}\citation{[Kl.CRS]}\citation{[K.S.]}\citation{[Nip.b]}\citation{[Oos.th]}\citation{[OR94]}\citation{[le80]}\citation{[Win]}\citation{[Kl.TRS]}\citation{[Sta]}\citation{[GLM]}\citation{[Oos.th]}\citation{[GLM]}\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual Structures}{3}}\citation{[GLM]}\citation{[Sta]}\citation{[H.L.]}\citation{[levy]}\citation{[le80]}\citation{[Sta]}\citation{[Kl.CRS]}\citation{[Bar]}\newlabel{D.levy.str.}{{2.2}{4}}\citation{[KKSdV]}\citation{[Mar]}\citation{[ctrs]}\newlabel{D.ext.reductions.}{{2.4}{5}}\newlabel{L.disj.red.creat.}{{2.1}{5}}\citation{[ctrs]}\citation{[ctrs]}\citation{[H.L.]}\citation{[B.K.K.S.]}\citation{[Mar]}\citation{[Nok.thi.]}\citation{[Yos]}\citation{[A.F.]}\@writefile{toc}{\contentsline {section}{\numberline {3}Relative Normalization for regular stable sets}{6}}\newlabel{S.rn.sdrs.}{{3}{6}}\newlabel{D.rel.need.}{{3.1}{6}}\newlabel{L.external.rem.ext.}{{3.1}{7}}\newlabel{T.3.1.c.}{{3.1}{7}}\newlabel{L.4.1.c.stab.}{{3.2}{7}}\newlabel{E.nec.of.stab.for.norm.the.}{{3.1}{7}}\newlabel{D.4.1.}{{3.3}{7}}\newlabel{L.4.4.}{{3.3}{8}}\newlabel{L.pers.need.}{{3.4}{8}}\newlabel{L.4.5.}{{3.5}{8}}\newlabel{T.4.2.}{{3.1}{8}}\citation{[ctrs]}\citation{[ctrs]}\citation{[le80]}\newlabel{R.irreg.no.hyper.}{{3.1}{9}}\@writefile{toc}{\contentsline {section}{\numberline {4}Relative Normalization in Deterministic Family Structures}{9}}\newlabel{S.rn.fs.}{{4}{9}}\newlabel{D.DRS.}{{4.1}{9}}\citation{[levy]}\citation{[K.S.]}\citation{[Mar]}\citation{[AL]}\citation{[AL]}\newlabel{P.fam.prop.}{{4.1}{10}}\newlabel{E.sta.no.fa.st.}{{4.1}{10}}\newlabel{L.drs.stab.pdrs.}{{4.1}{10}}\citation{[ctrs]}\citation{[OCRS]}\citation{[le80]}\newlabel{E.fs.no.sta.}{{4.2}{11}}\newlabel{L.4.1.c.}{{4.2}{11}}\newlabel{T.ex.M-need.}{{4.1}{11}}\@writefile{toc}{\contentsline {section}{\numberline {5}The Relative Optimality Theorem}{12}}\newlabel{S.opt.fs.}{{5}{12}}\newlabel{T.cor.weak.need.}{{5.1}{12}}\newlabel{L.fam.compl.}{{5.1}{12}}\citation{[le80]}\citation{[Win]}\newlabel{T.unif.opt.}{{5.2}{13}}\@writefile{toc}{\contentsline {section}{\numberline {6}Relative Normalization in Event Structures}{13}}\newlabel{S.norm.es.}{{6}{13}}\citation{[Sta]}\citation{[ctrs]}\citation{[C.F.]}\citation{[H.L.]}\citation{[B.K.K.S.]}\citation{[K.S.]}\citation{[Mar91]}\citation{[Mar]}\citation{[levy]}\citation{[le80]}\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions and future work}{14}}\newlabel{S.concl.}{{7}{14}}\bibcite{[Ant]}{AEH94}\bibcite{[AnMi]}{AnMi94}\bibcite{[A.F.]}{AFMOW94}\bibcite{[AL]}{AsLa93}\bibcite{[Bar]}{Bar84}\bibcite{[B.K.K.S.]}{BKKS87}\bibcite{[berry]}{Ber79}\bibcite{[C.F.]}{CuFe58}\bibcite{[ctrs]}{GlKh94}\bibcite{[GLM]}{GLM92}\bibcite{[H.L.]}{HuL\'e91}\bibcite{[Kenn]}{Ken89}\bibcite{[K.S.]}{KeSl89}\bibcite{[KKSdV]}{KKSV93}\bibcite{[K-tra]}{KKSV96}\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{[SeRa]}{SeRa90}\bibcite{[Sta]}{Sta89}\bibcite{[Win]}{Win80}\bibcite{[Yos]}{Yos93}