\relax 
\citation{[icalp]}
\citation{[Mil]}
\citation{[Bar]}
\citation{[le80]}
\citation{[le80]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[Win89]}
\citation{[levy]}
\citation{[le80]}
\citation{[Lam]}
\citation{[Kath]}
\citation{[KKSdV]}
\citation{[Mar]}
\citation{[adeq]}
\citation{[adeq]}
\citation{[acoi-rep]}
\citation{[atoe-tcs]}
\citation{[ctrs]}
\citation{[rndrs]}
\citation{[levy]}
\citation{[le80]}
\citation{[K.S.]}
\citation{[Mar]}
\citation{[AL]}
\citation{[Oos]}
\citation{[Bar]}
\citation{[levy]}
\citation{[le80]}
\citation{[rndrs]}
\citation{[dndrs]}
\citation{[acoi-rep]}
\citation{[atoe-tcs]}
\citation{[dndrs]}
\citation{[Win89]}
\citation{[mfcs]}
\citation{[mfcs-tcs]}
\citation{[stable]}
\citation{[icalp]}
\citation{[rndrs]}
\citation{[dndrs]}
\citation{[azdfs]}
\citation{[atoe-tcs]}
\citation{[atoe-tcs]}
\citation{[levy]}
\citation{[Klo92]}
\citation{[Hin]}
\citation{[Klo92]}
\citation{[levy]}
\citation{[B.L.]}
\citation{[H.L.]}
\citation{[le80]}
\citation{[Sta]}
\citation{[GLM]}
\citation{[GLM]}
\citation{[Oos.th]}
\citation{[Mel.th]}
\citation{[Raa.th]}
\citation{[GLM]}
\citation{[adeq]}
\citation{[Laf]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual and Family Structures}{4}}
\citation{[GLM]}
\citation{[Sta]}
\citation{[H.L.]}
\citation{[le80]}
\citation{[Sta]}
\newlabel{D.levy.str.}{{2.3}{5}}
\citation{[rndrs]}
\citation{[azdfs]}
\citation{[rndrs]}
\citation{[atoe-tcs]}
\citation{[levy]}
\citation{[le80]}
\citation{[K.S.]}
\citation{[Mar]}
\citation{[AL]}
\citation{[Oos]}
\citation{[rndrs]}
\citation{[atoe-tcs]}
\newlabel{D.ext.reductions.}{{2.5}{7}}
\newlabel{L.disj.red.creat.}{{2.6}{7}}
\newlabel{L.ext.lem.mult.}{{2.7}{7}}
\citation{[le80]}
\newlabel{D.DRS.}{{2.8}{8}}
\newlabel{D.lin.dfs.drs.}{{2.10}{8}}
\citation{[atoe-tcs]}
\citation{[acoi-rep]}
\citation{[azdfs]}
\citation{[acoi-rep]}
\citation{[atoe-tcs]}
\newlabel{P.on.ca.for.}{{2.11}{9}}
\newlabel{T.lin.dr.sta.df.}{{2.12}{9}}
\newlabel{L.aff.un.f.l.}{{2.13}{9}}
\citation{[Bar]}
\citation{[H.L.]}
\citation{[Kl.CRS]}
\citation{[dndrs]}
\newlabel{L.res.fam.fam.}{{2.14}{10}}
\newlabel{T.line.zig.}{{2.15}{10}}
\newlabel{R.mult.}{{2.16}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Decomposition of Reductions in ASDRSs}{10}}
\newlabel{S.res.proj.}{{3}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Standardization}{10}}
\newlabel{SS.stan.}{{3.1}{10}}
\newlabel{D.red.need.ess.}{{3.1}{10}}
\newlabel{D.ess.rel.red.}{{3.2}{11}}
\newlabel{L.need.monot.}{{3.3}{11}}
\newlabel{L.era.and.ess.im.ne.}{{3.4}{11}}
\newlabel{L.dif.re.sa.his.}{{3.5}{11}}
\newlabel{L.un.re.un.}{{3.6}{11}}
\citation{[azdfs]}
\citation{[acoi-rep]}
\citation{[atoe-tcs]}
\citation{[K-tra]}
\citation{[Ken96]}
\newlabel{L.un.cr.un.}{{3.7}{12}}
\newlabel{T.can.self-need.var.}{{3.8}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Characterizing permutation-equivalence using families}{13}}
\newlabel{L.sta.eq.sa.fam.}{{3.10}{13}}
\newlabel{L.res.sel.nee.}{{3.11}{13}}
\newlabel{L.sfa.is.fam.of.se.}{{3.12}{14}}
\newlabel{L.leq.sfam.}{{3.13}{14}}
\newlabel{P.leqv.sam.se.es.fa.}{{3.14}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}The Projection Concept}{14}}
\newlabel{D.proj.}{{3.15}{14}}
\newlabel{L.nee.fa.red.}{{3.16}{14}}
\newlabel{L.stan.est.}{{3.17}{15}}
\newlabel{E.proj.}{{3.18}{15}}
\newlabel{C.proj.char.fam.}{{3.19}{15}}
\newlabel{L.err.st.both.le.cla.}{{3.20}{15}}
\newlabel{C.proj.inv.}{{3.21}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}The Restriction Concept}{16}}
\newlabel{D.resp.restr.}{{3.23}{16}}
\newlabel{L.corr.rest.}{{3.24}{17}}
\newlabel{L.char.resp.}{{3.26}{17}}
\newlabel{L.resp.invar.le.eq.}{{3.27}{17}}
\newlabel{L.ind.union.subt.}{{3.28}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}The Decomposition Theorem}{18}}
\newlabel{L.sum.rstr.eq.se.of.sum.}{{3.29}{18}}
\newlabel{T.dec.thm.}{{3.31}{18}}
\newlabel{D.resp.restr.mult.}{{3.32}{19}}
\newlabel{C.dec.thm.}{{3.33}{20}}
\@writefile{toc}{\contentsline {section}{\numberline {4}The Geometry of Conflict-free Reduction Spaces}{20}}
\newlabel{S.geom.}{{4}{20}}
\newlabel{L.rel.cof.}{{4.3}{20}}
\citation{[colog]}
\citation{[rta]}
\citation{[Mar]}
\newlabel{L.rest.v.proj.}{{4.4}{21}}
\newlabel{D.basis.}{{4.5}{21}}
\citation{[le80]}
\newlabel{E.bas.}{{4.6}{22}}
\newlabel{L.ind.resp.red.}{{4.7}{22}}
\newlabel{P.ind.union.subt.}{{4.8}{23}}
\newlabel{T.ind.dec.thm.}{{4.9}{23}}
\newlabel{C.ind.dec.thm.}{{4.10}{23}}
\citation{[rndrs]}
\citation{[atoe-tcs]}
\citation{[ctrs]}
\citation{[atoe-tcs]}
\citation{[rndrs]}
\citation{[atoe-tcs]}
\citation{[mfcs-tcs]}
\citation{[stable]}
\@writefile{toc}{\contentsline {section}{\numberline {5}The Optimal Decomposition Theorem}{24}}
\newlabel{S.rel.geom.}{{5}{24}}
\newlabel{D.rel.need.}{{5.1}{24}}
\newlabel{T.aff.opt.}{{5.2}{24}}
\newlabel{D.rel.ord.}{{5.3}{24}}
\citation{[stable]}
\citation{[rndrs]}
\citation{[atoe-tcs]}
\newlabel{D.rel.basis.}{{5.5}{25}}
\newlabel{L.er.un.un.st.}{{5.6}{25}}
\citation{[rndrs]}
\citation{[atoe-tcs]}
\newlabel{L.prop.rel.need.}{{5.7}{26}}
\newlabel{L.ind.nee.}{{5.8}{26}}
\newlabel{L.S-ind.resp.red.}{{5.9}{27}}
\newlabel{D.f.m.compl.}{{5.10}{27}}
\newlabel{L.ref.opt.decomp.}{{5.11}{27}}
\citation{[acoi-rep]}
\citation{[atoe-tcs]}
\newlabel{L.s.f.compl.res.sfcomp.ag.}{{5.12}{28}}
\newlabel{T.opt.fmcompl.}{{5.13}{28}}
\newlabel{T.opt.decomp.}{{5.14}{28}}
\citation{[H.L.]}
\citation{[rta]}
\citation{[caap]}
\citation{[C.Chap.]}
\citation{[C.Chap.]}
\citation{[caap]}
\citation{[csl98]}
\citation{[Levy76]}
\newlabel{C.opt.decomp.}{{5.15}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusions}{29}}
\newlabel{S.concl.}{{6}{29}}
\citation{[Klo92]}
\citation{[Rus]}
\bibcite{[AL]}{AL94}
\bibcite{[Bar]}{Bar84}
\bibcite{[B.L.]}{BeL\'e79}
\bibcite{[C.Chap.]}{Cou90}
\bibcite{[ctrs]}{GK94}
\bibcite{[rndrs]}{GK96}
\bibcite{[GLM]}{GLM92}
\bibcite{[H.L.]}{HL91}
\bibcite{[Hin]}{Hin64}
\bibcite{[Kath]}{Kat90}
\bibcite{[Ken96]}{Ken96}
\bibcite{[K.S.]}{KS89}
\bibcite{[KKSdV]}{KKSV93}
\bibcite{[adeq]}{KKSV94}
\bibcite{[K-tra]}{KKSV95}
\bibcite{[colog]}{Kha88}
\bibcite{[rta]}{Kha93}
\bibcite{[caap]}{Kha94}
\bibcite{[stable]}{Kha98}
\bibcite{[dndrs]}{KG96}
\bibcite{[dndrs-rep]}{KG96a}
\bibcite{[azdfs]}{KG97}
\bibcite{[icalp]}{KG97a}
\bibcite{[mfcs]}{KG97b}
\bibcite{[acoi-rep]}{KG97c}
\bibcite{[atoe-tcs]}{KG98}
\bibcite{[mfcs-tcs]}{KG98a}
\bibcite{[csl98]}{KP98}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Klo92]}{Klo92}
\bibcite{[Laf]}{Laf90}
\bibcite{[Lam]}{Lam90}
\bibcite{[Levy76]}{L\'ev76}
\bibcite{[levy]}{L\'ev78}
\bibcite{[le80]}{L\'ev80}
\bibcite{[Mar]}{Mar92}
\bibcite{[Mil]}{Mil92}
\bibcite{[Mel.th]}{Mel96}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[Oos]}{Oos96}
\bibcite{[Raa.th]}{Raa96}
\bibcite{[Rus]}{Rus87}
\bibcite{[Sta]}{Sta89}
\bibcite{[Win89]}{Win89}