\relax \citation{[levy]}\citation{[le80]}\citation{[BBKV]}\citation{[Lam]}\citation{[Kath]}\citation{[Mar91]}\citation{[GAL]}\citation{[AL]}\citation{[AL2]}\citation{[Oos]}\citation{[Gue.th]}\citation{[Oos]}\citation{[AL]}\citation{[K.S.]}\citation{[Kl.CRS]}\citation{[Mar91]}\citation{[AL]}\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}\citation{[KKSdV]}\citation{[H.P.]}\citation{[Wad]}\citation{[rndrs]}\citation{[Sta]}\citation{[GLM]}\citation{[berry]}\citation{[rndrs]}\citation{[dndrs]}\citation{[rndrs]}\citation{[levy]}\citation{[le80]}\citation{[AL]}\citation{[dndrs]}\citation{[Hin]}\citation{[le80]}\citation{[H.L.]}\citation{[Sta]}\citation{[GLM]}\citation{[Oos.th]}\citation{[Mel]}\citation{[Raa.th]}\citation{[rndrs]}\citation{[dndrs]}\citation{[dpes]}\citation{[icalp]}\citation{[GLM]}\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual and Family Structures}{3}}\newlabel{S.drfs.}{{2}{3}}\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Deterministic Residual Structures}{3}}\newlabel{D.levy.str.}{{2.1}{3}}\citation{[Sta]}\citation{[H.L.]}\citation{[levy]}\citation{[le80]}\citation{[Sta]}\citation{[rndrs]}\citation{[rndrs]}\citation{[dndrs]}\citation{[dndrs]}\newlabel{D.ext.reductions.}{{2.2}{4}}\newlabel{L.disj.red.creat.}{{2.3}{4}}\newlabel{L.ext.lem.mult.}{{2.4}{4}}\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Standardization}{4}}\newlabel{S.stand.}{{2.2}{4}}\citation{[GLM]}\citation{[le80]}\citation{[AL]}\citation{[Oos]}\citation{[rndrs]}\citation{[dndrs]}\citation{[levy]}\citation{[le80]}\citation{[rndrs]}\newlabel{D.red.need.ess.}{{2.5}{5}}\newlabel{L.era.and.ess.im.ne.}{{2.6}{5}}\newlabel{D.stanndrs.}{{2.7}{5}}\newlabel{D.ess.rel.red.}{{2.8}{5}}\newlabel{L.fin.self.ese.var.}{{2.9}{5}}\citation{[le80]}\citation{[rndrs]}\citation{[H.P.]}\citation{[H.P.]}\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Deterministic Family Structures}{6}}\newlabel{D.DRS.}{{2.10}{6}}\newlabel{D.sep.fam.}{{2.11}{6}}\newlabel{D.perm.cl.}{{2.3}{6}}\citation{[AL]}\citation{[Plo75]}\citation{[levy]}\citation{[le80]}\citation{[AL]}\citation{[Oos]}\citation{[AL]}\citation{[Oos]}\@writefile{toc}{\contentsline {section}{\numberline {3}Equivalence of Zig-zag and Extraction}{7}}\newlabel{S.zi.ext.}{{3}{7}}\citation{[dndrs]}\newlabel{D.can.re.his.}{{3.1}{8}}\newlabel{P.dec.stan.}{{3.2}{8}}\newlabel{L.sta.ex.dec.}{{3.3}{8}}\newlabel{D.ext.}{{3.4}{8}}\newlabel{L.mov.red.cre.}{{3.5}{8}}\newlabel{P.on.ca.for.}{{3.6}{9}}\newlabel{T.un.ex.nor.f.}{{3.7}{9}}\@writefile{toc}{\contentsline {section}{\numberline {4}Affine Zig-zag Families}{10}}\newlabel{S.li.zi.fa.}{{4}{10}}\newlabel{L.dec.fam.ex.}{{4.1}{10}}\newlabel{L.dif.re.sa.his.}{{4.2}{10}}\newlabel{L.cre.con.}{{4.3}{10}}\newlabel{L.dec.fam.ex.1}{{4.4}{10}}\newlabel{L.dr.cre.}{{4.5}{10}}\citation{[rndrs]}\citation{[azdfs]}\newlabel{L.ne.rep.fam.zi.}{{4.6}{11}}\newlabel{T.lin.dr.sta.df.}{{4.7}{11}}\@writefile{toc}{\contentsline {section}{\numberline {5}Affine Separable Families}{11}}\newlabel{S.sep.}{{5}{11}}\newlabel{L.fam.compl.}{{5.1}{11}}\newlabel{L.aff.un.f.l.}{{5.2}{11}}\newlabel{L.contr.fam.}{{5.3}{12}}\newlabel{T.sep.eq.ig.}{{5.4}{12}}\newlabel{C.con.fam.can.}{{5.5}{12}}\@writefile{toc}{\contentsline {section}{\numberline {6}Implementation DFSs}{12}}\newlabel{S.impl.drs.}{{6}{12}}\newlabel{D.lin.dfs.drs.}{{6.1}{12}}\citation{[rndrs]}\citation{[rndrs]}\newlabel{L.res.fam.fam.}{{6.2}{13}}\newlabel{T.line.zig.}{{6.3}{13}}\newlabel{D.str.sh.}{{6.4}{13}}\newlabel{T.dec.sh.}{{6.5}{13}}\newlabel{D.rel.need.}{{6.6}{13}}\citation{[rndrs]}\citation{[rndrs]}\citation{[dpes]}\citation{[KKSdV]}\citation{[Sch]}\citation{[icalp]}\citation{[AL]}\citation{[rndrs]}\bibcite{[AL]}{AL93}\newlabel{T.unif.opt.}{{6.7}{14}}\newlabel{L.nee.imp.}{{6.8}{14}}\newlabel{T.impl.theo.}{{6.9}{14}}\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions and Future Work}{14}}\newlabel{S.con.}{{7}{14}}\bibcite{[AL2]}{AL96}\bibcite{[BBKV]}{BBKV76}\bibcite{[berry]}{Ber79}\bibcite{[rndrs]}{GK96}\bibcite{[GAL]}{GAL92}\bibcite{[GLM]}{GLM92}\bibcite{[Gue.th]}{Gue96}\bibcite{[Hin]}{Hin69}\bibcite{[H.L.]}{HL91}\bibcite{[H.P.]}{HP91}\bibcite{[Kath]}{Kat90}\bibcite{[K.S.]}{KS89}\bibcite{[KKSdV]}{KKSV93}\bibcite{[dndrs]}{KG96}\bibcite{[azdfs]}{KG97}\bibcite{[icalp]}{KG97a}\bibcite{[dpes]}{KG97b}\bibcite{[Kl.CRS]}{Klo80}\bibcite{[Lam]}{Lam90}\bibcite{[levy]}{L\'ev78}\bibcite{[le80]}{L\'ev80}\bibcite{[Mar91]}{Mar91}\bibcite{[Mel]}{Mel96}\bibcite{[Oos.th]}{Oos94}\bibcite{[Oos]}{Oos96}\bibcite{[Plo75]}{Plo75}\bibcite{[Raa.th]}{Raa96}\bibcite{[Sch]}{Sch94}\bibcite{[Sta]}{Sta89}\bibcite{[Wad]}{Wad71}\bibcite{[WN]}{WN95}\citation{[rndrs]}\citation{[rndrs]}\citation{[rndrs]}\newlabel{S.append.}{{7}{18}}\newlabel{L.external.rem.ext.}{{7.1}{18}}\newlabel{L.pe.fin.ste.}{{7.2}{18}}\newlabel{L.dif.no.l.eq.}{{7.3}{18}}\newlabel{L.sta.al.ne.}{{7.4}{18}}