\relax 
\citation{[Mil]}
\citation{[Bar]}
\newlabel{EPCRC}{{\hbox {$\star $}\relax }{1}}
\global\@namedef{n@author@}{2}
\global\@namedef{n@collab@}{0}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[le80]}
\citation{[le80]}
\citation{[Win89]}
\citation{[levy],[le80]}
\citation{[Lam]}
\citation{[Kath]}
\citation{[adeq]}
\citation{[Mar]}
\citation{[ctrs]}
\citation{[rndrs]}
\citation{[levy],[le80],[K.S.],[Mar],[AL],[Oos]}
\citation{[Bar]}
\citation{[levy],[le80]}
\citation{[rndrs],[dndrs]}
\citation{[acoi-rep],[atoe-tcs]}
\citation{[dndrs]}
\citation{[mfcs],[mfcs-tcs]}
\citation{[icalp]}
\citation{[rndrs],[atoe-tcs]}
\citation{[mfcs],[mfcs-tcs]}
\citation{[levy],[H.L.],[le80],[Bar]}
\citation{[Sta],[GLM],[Mel.th]}
\citation{[Klo92]}
\citation{[levy]}
\citation{[Klo92]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Preliminaries}{6}}
\citation{[GLM]}
\citation{[Sta]}
\citation{[Bar],[H.L.],[le80],[Sta]}
\citation{[dndrs]}
\newlabel{D.levy.str.}{{3}{7}}
\citation{[rndrs]}
\citation{[levy],[le80],[K.S.],[Mar],[AL],[Oos]}
\citation{[rndrs],[atoe-tcs]}
\newlabel{D.DRS.}{{4}{8}}
\citation{[acoi-rep],[atoe-tcs]}
\citation{[le80]}
\citation{[acoi-rep],[atoe-tcs]}
\citation{[acoi-rep],[atoe-tcs]}
\citation{[mfcs],[mfcs-tcs]}
\citation{[Win89]}
\newlabel{T.line.zig.}{{5}{9}}
\newlabel{R.mult.}{{6}{9}}
\newlabel{P.un.fam.az.}{{7}{9}}
\newlabel{D.DEES.}{{8}{9}}
\citation{[mfcs],[mfcs-tcs]}
\citation{[dndrs]}
\citation{[Bar],[H.L.],[Kl.CRS]}
\citation{[dndrs]}
\@writefile{toc}{\contentsline {section}{\numberline {3}Decomposition of Reductions in {\sf  AZDFSs}}{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.}{{9}{10}}
\citation{[dndrs]}
\citation{[dndrs]}
\citation{[dndrs]}
\newlabel{D.ess.rel.red.}{{10}{11}}
\newlabel{L.need.monot.}{{11}{11}}
\newlabel{L.un.re.un.}{{12}{11}}
\citation{[dndrs]}
\citation{[acoi-rep],[atoe-tcs]}
\newlabel{T.can.self-need.var.}{{13}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Characterizing permutation-equivalence using families}{13}}
\newlabel{L.sta.eq.sa.fam.}{{15}{13}}
\newlabel{L.res.sel.nee.}{{16}{13}}
\newlabel{L.sfa.is.fam.of.se.}{{17}{14}}
\newlabel{L.leq.sfam.}{{18}{14}}
\newlabel{P.leqv.sam.se.es.fa.}{{19}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}The Projection Concept}{14}}
\newlabel{D.proj.}{{20}{14}}
\newlabel{L.nee.fa.red.}{{21}{15}}
\newlabel{L.stan.est.}{{22}{15}}
\newlabel{E.proj.}{{23}{15}}
\citation{[mfcs],[mfcs-tcs]}
\newlabel{C.proj.char.fam.}{{24}{16}}
\newlabel{L.err.st.both.le.cla.}{{25}{16}}
\newlabel{C.proj.inv.}{{26}{16}}
\newlabel{R.proj.}{{27}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}The Restriction Concept}{16}}
\newlabel{D.resp.restr.}{{29}{16}}
\newlabel{L.corr.rest.}{{30}{17}}
\newlabel{L.char.resp.}{{32}{18}}
\newlabel{L.resp.invar.le.eq.}{{33}{18}}
\newlabel{L.ind.union.subt.}{{34}{18}}
\newlabel{R.restr.}{{35}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}The Decomposition Theorem}{19}}
\newlabel{L.sum.rstr.eq.se.of.sum.}{{36}{19}}
\newlabel{T.dec.thm.}{{38}{20}}
\newlabel{D.resp.restr.mult.}{{39}{20}}
\citation{[acoi-rep],[atoe-tcs]}
\newlabel{C.dec.thm.}{{40}{21}}
\newlabel{R.decom.}{{41}{22}}
\@writefile{toc}{\contentsline {section}{\numberline {4}The Geometry of Conflict-free Reduction Spaces}{22}}
\newlabel{S.geom.}{{4}{22}}
\newlabel{L.rel.cof.}{{44}{22}}
\citation{[icalp-rep]}
\citation{[colog],[rta]}
\citation{[Mar]}
\newlabel{L.rest.v.proj.}{{45}{23}}
\newlabel{D.basis.}{{46}{23}}
\newlabel{E.bas.}{{47}{23}}
\citation{[rndrs],[atoe-tcs]}
\citation{[le80]}
\newlabel{D.ext.reductions.}{{48}{24}}
\newlabel{L.ind.resp.red.}{{49}{25}}
\newlabel{P.ind.union.subt.}{{50}{25}}
\citation{[acoi-rep]}
\newlabel{T.ind.dec.thm.}{{51}{26}}
\newlabel{C.ind.dec.thm.}{{52}{26}}
\citation{[rndrs],[atoe-tcs]}
\citation{[ctrs],[tttrs1]}
\newlabel{D.red-geo.ev.}{{53}{27}}
\newlabel{T.ind-dec.ev.}{{54}{27}}
\@writefile{toc}{\contentsline {section}{\numberline {5}The Optimal Decomposition Theorem}{27}}
\newlabel{S.rel.geom.}{{5}{27}}
\newlabel{D.rel.need.}{{55}{27}}
\citation{[atoe-tcs]}
\citation{[rndrs],[atoe-tcs]}
\newlabel{T.aff.opt.}{{56}{28}}
\newlabel{D.rel.basis.}{{58}{28}}
\citation{[rndrs],[atoe-tcs]}
\citation{[rndrs],[atoe-tcs]}
\newlabel{L.er.un.un.st.}{{59}{29}}
\newlabel{L.prop.rel.need.}{{60}{29}}
\newlabel{L.ind.nee.}{{61}{29}}
\newlabel{L.S-ind.resp.red.}{{62}{30}}
\newlabel{D.f.m.compl.}{{63}{31}}
\newlabel{L.ref.opt.decomp.}{{64}{31}}
\newlabel{L.s.f.compl.res.sfcomp.ag.}{{65}{31}}
\citation{[acoi-rep],[atoe-tcs]}
\newlabel{T.opt.fmcompl.}{{66}{32}}
\newlabel{T.opt.decomp.}{{67}{32}}
\newlabel{C.opt.decomp.}{{68}{33}}
\newlabel{T.ind.comp.dup.}{{69}{33}}
\citation{[H.L.]}
\citation{[rta]}
\citation{[caap]}
\citation{[C.Chap.]}
\citation{[C.Chap.]}
\citation{[caap]}
\citation{[csl98]}
\citation{[Levy76]}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusions}{34}}
\newlabel{S.concl.}{{6}{34}}
\citation{[Klo92]}
\citation{[Rus]}
\bibcite{[AL]}{1}
\bibcite{[Bar]}{2}
\bibcite{[C.Chap.]}{3}
\bibcite{[ctrs]}{4}
\bibcite{[tttrs1]}{5}
\bibcite{[rndrs]}{6}
\@writefile{toc}{\contentsline {section}{References}{35}}
\bibcite{[GLM]}{7}
\bibcite{[H.L.]}{8}
\bibcite{[Kath]}{9}
\bibcite{[K.S.]}{10}
\bibcite{[adeq]}{11}
\bibcite{[colog]}{12}
\bibcite{[rta]}{13}
\bibcite{[caap]}{14}
\bibcite{[dndrs]}{15}
\bibcite{[icalp]}{16}
\bibcite{[mfcs]}{17}
\bibcite{[acoi-rep]}{18}
\bibcite{[atoe-tcs]}{19}
\bibcite{[mfcs-tcs]}{20}
\bibcite{[icalp-rep]}{21}
\bibcite{[csl98]}{22}
\bibcite{[Kl.CRS]}{23}
\bibcite{[Klo92]}{24}
\bibcite{[Lam]}{25}
\bibcite{[Levy76]}{26}
\bibcite{[levy]}{27}
\bibcite{[le80]}{28}
\bibcite{[Mar]}{29}
\bibcite{[Mil]}{30}
\bibcite{[Mel.th]}{31}
\bibcite{[Oos]}{32}
\bibcite{[Rus]}{33}
\bibcite{[Sta]}{34}
\bibcite{[Win89]}{35}
\global\c@lastpage=37