\relax 
\citation{[C.F.]}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[colog]}
\citation{[rta]}
\citation{[ERS]}
\citation{[Kl.CRS]}
\citation{[K.S.]}
\citation{[levy]}
\citation{[B.K.K.S.]}
\citation{[caap]}
\citation{[Gar]}
\citation{[Ant]}
\citation{[Mar]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[Bar]}
\citation{[le76]}
\citation{[Lon]}
\citation{[A.O.]}
\citation{[Mar]}
\citation{[B.L.]}
\citation{[rta]}
\citation{[colog]}
\citation{[le80]}
\citation{[K.S.]}
\citation{[ERS]}
\citation{[OCRS]}
\citation{[K.S.]}
\citation{[ctrs]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[Pk]}
\citation{[Acz]}
\citation{[ERS]}
\citation{[Nip.b]}
\citation{[Wol.th]}
\citation{[OR94]}
\citation{[kor]}
\citation{[Oos.th]}
\citation{[ERS]}
\citation{[OCRS]}
\citation{[OCRS]}
\citation{[Kl.CRS]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Orthogonal Expression Reduction Systems}{4}}
\newlabel{S.CRS}{{2}{4}}
\newlabel{D.1.}{{2.1}{4}}
\newlabel{D.CRS.}{{2.2}{4}}
\citation{[OCRS]}
\citation{[colog]}
\citation{[rta]}
\citation{[OCRS]}
\citation{[Klo92]}
\citation{[colog]}
\citation{[H.L.]}
\citation{[Bar]}
\citation{[levy]}
\citation{[Kl.CRS]}
\citation{[OCRS]}
\newlabel{D.4.}{{2.5}{6}}
\newlabel{T.CRst.oc.}{{2.1}{6}}
\citation{[H.L.]}
\citation{[le80]}
\citation{[Mar]}
\citation{[rta]}
\citation{[colog]}
\citation{[rta]}
\citation{[H.L.]}
\citation{[Klo92]}
\citation{[Kl.CRS]}
\citation{[rta]}
\@writefile{toc}{\contentsline {section}{\numberline {3}Neededness, Essentiality and Unabsorbedness}{7}}
\newlabel{S.ess.unabs.}{{3}{7}}
\newlabel{D.need.}{{3.1}{7}}
\newlabel{D.ess.}{{3.2}{7}}
\newlabel{D.abs.}{{3.3}{7}}
\newlabel{D.fair.]}{{3.4}{7}}
\newlabel{L.eraser.}{{3.1}{7}}
\newlabel{L.3.3.}{{3.2}{7}}
\newlabel{D.3.5.}{{3.5}{8}}
\newlabel{L.rep.iness.}{{3.3}{8}}
\citation{[rta]}
\newlabel{C.ex.ess.}{{3.1}{9}}
\newlabel{T.N=E.}{{3.1}{9}}
\newlabel{L.abs1.}{{3.4}{9}}
\newlabel{L.abs2.}{{3.5}{9}}
\newlabel{L.abs3.}{{3.6}{10}}
\newlabel{T.abs.}{{3.2}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Relative Notions of Neededness}{10}}
\newlabel{S.rel.need.}{{4}{10}}
\newlabel{D.exter.and. vanish.}{{4.1}{10}}
\newlabel{D.rel.need.}{{4.2}{10}}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\newlabel{D.perm.cl.}{{4.1}{11}}
\citation{[K.S.]}
\citation{[Kl.CRS]}
\citation{[levy]}
\citation{[K.S.]}
\newlabel{P.mar.need.fair.}{{4.1}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {5}A Labelling for OERSs}{12}}
\newlabel{S.labels}{{5}{12}}
\citation{[K.S.]}
\citation{[K.S.]}
\citation{[Kl.CRS]}
\citation{[levy]}
\citation{[Kl.CRS]}
\citation{[le80]}
\citation{[AL]}
\citation{[K.S.]}
\citation{[Mar]}
\citation{[le80]}
\newlabel{P.lab.nest.}{{5.1}{13}}
\newlabel{P.extr.cre.}{{5.1}{13}}
\newlabel{P.BCT.}{{5.2}{13}}
\newlabel{D.fam.}{{5.1}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {6}The Relative Normalization Theorem}{13}}
\newlabel{S.rel.normal.}{{6}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Preservation of External Reductions}}{14}}
\newlabel{extern-red}{{1}{14}}
\newlabel{L.external.rem.ext.}{{6.1}{14}}
\newlabel{T.3.1.c.}{{6.1}{14}}
\newlabel{L.4.1.c.}{{6.2}{14}}
\newlabel{T.ex.M-need.}{{6.1}{14}}
\newlabel{L.pers.need.}{{6.3}{15}}
\newlabel{P.3.3.c.}{{6.1}{15}}
\newlabel{D.4.1.}{{6.3}{16}}
\newlabel{D.4.2.}{{6.4}{16}}
\newlabel{L.4.4.}{{6.4}{16}}
\newlabel{L.4.5.}{{6.5}{16}}
\citation{[le80]}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Preservation of Quasi-needed Reductions}}{17}}
\newlabel{Di.ess.}{{2}{17}}
\newlabel{T.4.2.}{{6.2}{17}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Minimal Relative Normalization}{17}}
\newlabel{S.min.}{{7}{17}}
\newlabel{D.qpn.}{{7.1}{18}}
\newlabel{E.nne.per.sec.con.}{{7.1}{18}}
\newlabel{L.prs.m-nee.sec.}{{7.1}{18}}
\newlabel{D.m-min.}{{7.2}{19}}
\newlabel{L.qpn<min.}{{7.2}{19}}
\newlabel{D.F-red.}{{7.3}{19}}
\newlabel{D.M-abs.}{{7.4}{19}}
\newlabel{L.F-unabs.}{{7.3}{19}}
\newlabel{L.exist.m.unabs.m.nee.}{{7.1}{20}}
\newlabel{E.min.vers.irreg.}{{7.2}{20}}
\newlabel{L.reg.f-unabs=>unabs.}{{7.4}{20}}
\newlabel{P.min=qpn.}{{7.2}{20}}
\citation{[rta]}
\citation{[ctrs]}
\newlabel{T.qpmn.gen.min.str.}{{7.1}{21}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Relative Essentiality}{21}}
\newlabel{S.rel.essen.}{{8}{21}}
\newlabel{D.M-ess.}{{8.1}{21}}
\newlabel{L.3.3.r.}{{8.1}{21}}
\newlabel{L.min.ines.}{{8.2}{21}}
\newlabel{L.iness.res.minim.}{{8.3}{21}}
\newlabel{L.desc.iness.subt.}{{8.4}{22}}
\citation{[H.L.]}
\citation{[GLM]}
\citation{[GLM]}
\newlabel{L.m.anabs.impl.m.iness.}{{8.5}{23}}
\newlabel{L.m.ines.min.van.}{{8.6}{23}}
\newlabel{L.ines.>unne.}{{8.1}{23}}
\newlabel{L.sec.=qpn.m.}{{8.2}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {9}Relative Standardization Theorem}{23}}
\newlabel{S.relstan.the.}{{9}{23}}
\citation{[H.L.]}
\citation{[H.L.]}
\citation{[GLM]}
\newlabel{L.exter.rela.out.le.}{{9.1}{24}}
\newlabel{L.ext.impl.nee.}{{9.2}{24}}
\newlabel{L.unabs.ext.in.min.}{{9.3}{24}}
\newlabel{C.m.unabs.impl.m.stan.}{{9.2}{24}}
\citation{[le80]}
\@writefile{toc}{\contentsline {section}{\numberline {10}The Relative Optimality Theorem}{25}}
\newlabel{S.un.opt.}{{10}{25}}
\newlabel{L.fam.compl.}{{10.1}{25}}
\newlabel{T.unif.opt.}{{10.1}{25}}
\@writefile{toc}{\contentsline {section}{\numberline {11}Relative optimal versus minimal reductions}{25}}
\newlabel{S.opt.vers.mnin.}{{11}{25}}
\newlabel{E.ers.min.opt.}{{11.1}{26}}
\citation{[H.L.]}
\citation{[Ken]}
\citation{[Nok.thi.]}
\citation{[B.L.]}
\bibcite{[A.O.]}{AbOn93}
\bibcite{[Acz]}{Acz78}
\bibcite{[Ant]}{AEH94}
\bibcite{[AL]}{AsLa93}
\bibcite{[Bar]}{Bar84}
\@writefile{toc}{\contentsline {section}{\numberline {12}Conclusions and Future Work}{27}}
\newlabel{S.conc.}{{12}{27}}
\bibcite{[B.K.K.S.]}{BKKS87}
\bibcite{[B.L.]}{BeL\'e79}
\bibcite{[C.F.]}{CuFe58}
\bibcite{[D.J.]}{DeJo90}
\bibcite{[ctrs]}{GlKh94}
\bibcite{[Gar]}{Gar94}
\bibcite{[GLM]}{GLM92}
\bibcite{[H.L.]}{HuL\'e91}
\bibcite{[Ken]}{Ken94}
\bibcite{[K.S.]}{KeSl89}
\bibcite{[colog]}{Kha88}
\bibcite{[ERS]}{Kha90}
\bibcite{[OCRS]}{Kha92}
\bibcite{[rta]}{Kha93}
\bibcite{[caap]}{Kha94}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Klo92]}{Klo92}
\bibcite{[kor]}{KOR93}
\bibcite{[le76]}{L\'ev76}
\bibcite{[levy]}{L\'ev78}
\bibcite{[le80]}{L\'ev80}
\bibcite{[Lon]}{Lon83}
\bibcite{[Mar]}{Mar92}
\bibcite{[Nip.b]}{Nip93}
\bibcite{[Nok.thi.]}{N\"ok94}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[OR94]}{OR94}
\bibcite{[Pk]}{Pkh77}
\bibcite{[Wol.th]}{Wol93}