\relax 
\citation{[levy],[le80]}
\citation{[Bar.76]}
\citation{[Lam]}
\citation{[Kath]}
\citation{[Mar91]}
\citation{[GAL]}
\citation{[AL],[AL2]}
\citation{[Oos]}
\citation{[Gue.th]}
\newlabel{EPCRC}{{\hbox {$\star $}\relax }{1}}
\global\@namedef{n@author@}{2}
\global\@namedef{n@collab@}{0}
\citation{[Oos]}
\citation{[AL]}
\citation{[K.S.]}
\citation{[Kl.CRS]}
\citation{[Mar91]}
\citation{[AL]}
\citation{[KKSdV]}
\citation{[H.P.]}
\citation{[Wad]}
\citation{[B.L.]}
\citation{[OD]}
\citation{[Ros]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{2}}
\citation{[levy],[Kl.CRS],[K.S.],[Mar],[AL],[Oos]}
\citation{[levy],[le80]}
\citation{[Sta]}
\citation{[levy],[le80]}
\citation{[GLM]}
\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{[ctrs],[relative]}
\citation{[OCRS]}
\citation{[berry]}
\citation{[Win89]}
\citation{[colog],[rta]}
\citation{[H.L.]}
\citation{[le80]}
\citation{[A.M.]}
\citation{[levy],[le80]}
\citation{[AL]}
\citation{[rndrs],[rndrs-rep],[azdfs],[acoi-rep]}
\citation{[dndrs],[dndrs-rep]}
\citation{[C.R.]}
\citation{[Klo92],[Hu80]}
\citation{[Hin]}
\citation{[Klo92]}
\citation{[Sta]}
\citation{[GLM]}
\citation{[Oos.th]}
\citation{[GLM]}
\citation{[Mel.th],[Raa.th]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual Structures}{6}}
\citation{[GLM]}
\citation{[Sta]}
\citation{[rndrs]}
\citation{[Sta]}
\citation{[Raa.th]}
\citation{[KKSdV]}
\citation{[Mar91],[Mar]}
\citation{[GLM]}
\citation{[Laf]}
\newlabel{D.levy.str.}{{2}{7}}
\citation{[H.L.],[levy],[B.L.],[le80],[Bou],[Sta],[Mel.th]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\newlabel{D.ext.reductions.}{{3}{10}}
\newlabel{L.external.rem.ext.}{{4}{10}}
\newlabel{L.ext.lem.mult.}{{5}{11}}
\newlabel{L.disj.red.creat.}{{6}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Relative Normalization for regular stable sets}{12}}
\newlabel{S.rn.sdrs.}{{3}{12}}
\newlabel{D.rel.need.}{{7}{12}}
\citation{[ctrs],[relative]}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Nok.thi.]}
\citation{[Mid]}
\citation{[Yos]}
\citation{[A.F.]}
\citation{[Xi]}
\newlabel{T.3.1.c.}{{8}{13}}
\newlabel{L.4.1.c.stab.}{{9}{13}}
\newlabel{E.nec.of.stab.for.norm.the.}{{10}{14}}
\newlabel{D.4.1.}{{11}{14}}
\newlabel{L.4.4.}{{12}{14}}
\newlabel{L.pers.need.}{{13}{15}}
\newlabel{L.4.5.}{{14}{15}}
\newlabel{T.4.2.}{{15}{15}}
\citation{[ctrs],[relative]}
\citation{[ctrs],[relative]}
\newlabel{R.irreg.no.hyper.}{{16}{16}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Relative Normalization and Optimality in Deterministic Family Structures}{16}}
\newlabel{S.rn.fs.}{{4}{16}}
\newlabel{D.DRS.}{{17}{16}}
\citation{[rndrs]}
\citation{[levy],[Kl.CRS],[K.S.],[Mar],[AL],[Oos]}
\citation{[levy],[Kl.CRS],[Oos97]}
\citation{[Mel.th]}
\citation{[Oos97],[Mel.th]}
\citation{[AL]}
\citation{[H.P.]}
\citation{[H.P.]}
\newlabel{P.fam.prop.}{{18}{18}}
\newlabel{E.sta.no.fa.st.}{{19}{18}}
\citation{[ctrs],[relative]}
\newlabel{L.drs.stab.pdrs.}{{20}{19}}
\newlabel{E.fs.no.sta.}{{21}{19}}
\newlabel{L.4.1.c.}{{22}{19}}
\citation{[le80]}
\newlabel{T.ex.M-need.}{{23}{20}}
\newlabel{L.3.3.c.}{{24}{20}}
\newlabel{T.cor.weak.need.}{{26}{21}}
\newlabel{L.wek.nee.nee.}{{28}{21}}
\newlabel{C.norm.fam.}{{29}{21}}
\newlabel{L.fam.compl.}{{30}{21}}
\citation{[le80]}
\citation{[le80]}
\citation{[levy],[le80]}
\citation{[AL]}
\citation{[Oos]}
\citation{[AL]}
\citation{[Oos]}
\newlabel{T.unif.opt.}{{31}{22}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Equivalence of Zig-zag and Extraction in Affine SDRSs}{22}}
\newlabel{S.zi.ext.}{{5}{22}}
\citation{[KKSdV]}
\citation{[Win],[NPW],[Win89]}
\citation{[KKSdV]}
\citation{[C.F.]}
\citation{[GLM]}
\citation{[le80],[AL],[Oos]}
\citation{[dndrs],[dndrs-rep]}
\citation{[GLM],[Mel.th]}
\newlabel{D.red.need.ess.}{{32}{23}}
\newlabel{L.era.and.ess.im.ne.}{{33}{24}}
\newlabel{D.ess.rel.red.}{{34}{24}}
\newlabel{L.fin.self.ese.var.}{{35}{25}}
\newlabel{P.dec.stan.}{{36}{25}}
\citation{[le80],[AL],[Oos]}
\citation{[KKSdV]}
\newlabel{D.can.re.his.}{{37}{26}}
\newlabel{L.sta.ex.dec.}{{38}{26}}
\newlabel{D.ext.}{{39}{27}}
\newlabel{L.pe.fin.ste.}{{40}{27}}
\newlabel{L.mov.red.cre.}{{41}{28}}
\newlabel{P.on.ca.for.}{{42}{30}}
\newlabel{T.un.ex.nor.f.}{{43}{31}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Affine Zig-Zag and Separable Families}{32}}
\newlabel{S.li.zi.fa.}{{6}{32}}
\newlabel{D.sep.fam.}{{44}{32}}
\newlabel{D.perm.cl.}{{6}{32}}
\citation{[AL]}
\citation{[AL]}
\citation{[Plo75]}
\newlabel{L.dif.re.sa.his.}{{45}{34}}
\newlabel{C.zig.uni.}{{46}{34}}
\newlabel{L.dec.fam.ex.}{{47}{34}}
\newlabel{L.cre.con.}{{48}{34}}
\newlabel{L.dec.fam.ex.1}{{49}{35}}
\newlabel{L.dr.cre.}{{50}{35}}
\newlabel{T.lin.dr.sta.df.}{{51}{35}}
\newlabel{L.aff.un.f.l.}{{52}{35}}
\newlabel{L.contr.fam.}{{53}{36}}
\newlabel{L.sta.eq.sa.fam.}{{54}{36}}
\newlabel{T.sep.eq.ig.}{{55}{37}}
\newlabel{C.con.fam.can.}{{56}{37}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Implementation DFSs}{38}}
\newlabel{S.impl.drs.}{{7}{38}}
\newlabel{D.lin.dfs.drs.}{{57}{38}}
\newlabel{L.res.fam.fam.}{{58}{38}}
\newlabel{T.line.zig.}{{59}{39}}
\newlabel{D.str.sh.}{{60}{39}}
\newlabel{T.dec.sh.}{{61}{39}}
\newlabel{L.stab.lin.}{{62}{40}}
\newlabel{L.nee.imp.}{{63}{40}}
\citation{[ctrs],[relative]}
\citation{[C.F.],[H.L.],[B.K.K.S.]}
\citation{[K.S.]}
\citation{[Mar91],[Mar]}
\citation{[levy],[le80]}
\citation{[AL]}
\citation{[mfcs]}
\citation{[Win],[NPW],[Win89]}
\citation{[icalp],[icalp-rep]}
\citation{[stable]}
\citation{[Bou]}
\citation{[Bou],[C.K.],[Raa.th],[Mel.th],[Mel2],[Mel98]}
\newlabel{T.impl.theo.}{{64}{41}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Conclusions and future work}{41}}
\newlabel{S.concl.}{{8}{41}}
\bibcite{[Ant]}{1}
\bibcite{[AnMi]}{2}
\bibcite{[A.F.]}{3}
\bibcite{[AL]}{4}
\bibcite{[AL2]}{5}
\bibcite{[A.M.]}{6}
\bibcite{[A.G.]}{7}
\bibcite{[Bar]}{8}
\bibcite{[Bar.76]}{9}
\bibcite{[B.K.K.S.]}{10}
\@writefile{toc}{\contentsline {section}{References}{42}}
\bibcite{[berry]}{11}
\bibcite{[B.L.]}{12}
\bibcite{[Bou]}{13}
\bibcite{[C.R.]}{14}
\bibcite{[C.K.]}{15}
\bibcite{[C.F.]}{16}
\bibcite{[Gar]}{17}
\bibcite{[ctrs]}{18}
\bibcite{[morn]}{19}
\bibcite{[rndrs]}{20}
\bibcite{[rndrs-rep]}{21}
\bibcite{[relative]}{22}
\bibcite{[GAL]}{23}
\bibcite{[GLM]}{24}
\bibcite{[Gue.th]}{25}
\bibcite{[Hin]}{26}
\bibcite{[H.P.]}{27}
\bibcite{[Hu80]}{28}
\bibcite{[H.L.]}{29}
\bibcite{[Kath]}{30}
\bibcite{[Kenn]}{31}
\bibcite{[K.S.]}{32}
\bibcite{[KKSdV]}{33}
\bibcite{[K-tra]}{34}
\bibcite{[colog]}{35}
\bibcite{[OCRS]}{36}
\bibcite{[rta]}{37}
\bibcite{[stable]}{38}
\bibcite{[dndrs]}{39}
\bibcite{[dndrs-rep]}{40}
\bibcite{[azdfs]}{41}
\bibcite{[icalp]}{42}
\bibcite{[icalp-rep]}{43}
\bibcite{[mfcs]}{44}
\bibcite{[acoi-rep]}{45}
\bibcite{[Kl.CRS]}{46}
\bibcite{[Klo92]}{47}
\bibcite{[Laf]}{48}
\bibcite{[Lam]}{49}
\bibcite{[levy]}{50}
\bibcite{[le80]}{51}
\bibcite{[Mar91]}{52}
\bibcite{[Mar]}{53}
\bibcite{[Mel.th]}{54}
\bibcite{[Mel2]}{55}
\bibcite{[Mel98]}{56}
\bibcite{[Mid]}{57}
\bibcite{[NPW]}{58}
\bibcite{[Nok.thi.]}{59}
\bibcite{[OD]}{60}
\bibcite{[Oos.th]}{61}
\bibcite{[Oos]}{62}
\bibcite{[Oos97]}{63}
\bibcite{[Plo75]}{64}
\bibcite{[Raa.th]}{65}
\bibcite{[Ros]}{66}
\bibcite{[SeRa]}{67}
\bibcite{[Sta]}{68}
\bibcite{[Wad]}{69}
\bibcite{[Win]}{70}
\bibcite{[Win89]}{71}
\bibcite{[Xi]}{72}
\bibcite{[Yos]}{73}
\global\c@lastpage=46