\relax 
\citation{[ctrs]}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\citation{[ctrs]}
\citation{[ERS],[OCRS]}
\citation{[levy]}
\citation{[Mar]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\citation{[rta],[colog]}
\citation{[ctrs]}
\citation{[le80]}
\citation{[K.S.]}
\citation{[ctrs]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[Nip.b],[OR94]}
\citation{[kor]}
\citation{[ctrs]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Orthogonal Expression Reduction Systems}{2}}
\newlabel{S.CRS}{{2}{2}}
\newlabel{D.1.}{{2.1}{2}}
\citation{[Kl.CRS]}
\citation{[AL]}
\citation{[OCRS]}
\newlabel{D.CRS.}{{2.2}{3}}
\citation{[colog],[rta],[OCRS]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[levy]}
\citation{[Kl.CRS]}
\citation{[OCRS]}
\citation{[ctrs]}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\citation{[ctrs]}
\newlabel{T.CRst.oc.}{{2.1}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Relative Normalization}{5}}
\newlabel{S.rel.need.}{{3}{5}}
\newlabel{D.rel.need.}{{3.1}{5}}
\newlabel{T.ex.M-need.}{{3.1}{5}}
\newlabel{L.3.3.c.}{{3.1}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Minimal Relative Normalization}{6}}
\newlabel{S.min.}{{4}{6}}
\newlabel{D.qpn.}{{4.1}{6}}
\newlabel{L.prs.m-nee.sec.}{{4.1}{6}}
\newlabel{D.m-min.}{{4.2}{6}}
\newlabel{L.qpn<min.}{{4.2}{6}}
\citation{[rta],[ctrs]}
\citation{[H.L.]}
\citation{[H.L.],[rta],[ctrs]}
\newlabel{D.F-red.}{{4.3}{7}}
\newlabel{D.M-abs.}{{4.4}{7}}
\newlabel{L.F-unabs.}{{4.3}{7}}
\newlabel{L.exist.m.unabs.m.nee.}{{4.1}{7}}
\newlabel{E.min.vers.irreg.}{{4.1}{7}}
\citation{[colog],[rta]}
\newlabel{L.nd<any.}{{4.4}{8}}
\newlabel{L.reg.f-unabs=>unabs.}{{4.5}{8}}
\newlabel{P.min=qpn.}{{4.2}{8}}
\newlabel{D.qpmn.rede.}{{4.5}{8}}
\citation{[rta],[ctrs]}
\citation{[ctrs]}
\newlabel{T.qpmn.gen.min.str.}{{4.1}{9}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Relative Essentiality}{9}}
\newlabel{S.rel.essen.}{{5}{9}}
\newlabel{D.M-ess.}{{5.1}{9}}
\newlabel{L.3.3.}{{5.1}{9}}
\newlabel{L.min.ines.}{{5.2}{9}}
\newlabel{L.iness.res.minim.}{{5.3}{9}}
\citation{[ctrs]}
\citation{[ctrs]}
\newlabel{L.desc.iness.subt.}{{5.4}{10}}
\newlabel{L.m.anabs.impl.m.iness.}{{5.5}{10}}
\newlabel{D.exter.and. vanish.}{{5.2}{10}}
\newlabel{L.m.ines.min.van.}{{5.6}{10}}
\citation{[H.L.]}
\citation{[GLM]}
\citation{[H.L.]}
\citation{[H.L.]}
\citation{[GLM]}
\newlabel{L.ines.>unne.}{{5.1}{11}}
\newlabel{L.sec.=qpn.m.}{{5.2}{11}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Relative Standardization Theorem}{11}}
\newlabel{S.relstan.the.}{{6}{11}}
\newlabel{L.exter.rela.out.le.}{{6.1}{11}}
\citation{[K.S.]}
\citation{[Kl.CRS]}
\citation{[levy]}
\citation{[K.S.]}
\citation{[le80]}
\citation{[AL]}
\newlabel{L.ext.impl.nee.}{{6.2}{12}}
\newlabel{L.unabs.ext.in.min.}{{6.3}{12}}
\newlabel{C.m.unabs.impl.m.stan.}{{6.2}{12}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}The Relative Optimality Theorem}{12}}
\newlabel{S.un.opt.}{{7}{12}}
\newlabel{P.lab.nest.}{{7.1}{12}}
\newlabel{D.fam.}{{7.1}{12}}
\citation{[le80]}
\newlabel{L.fam.compl.}{{7.1}{13}}
\newlabel{T.unif.opt.}{{7.1}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {8}Relative optimal versus minimal reductions}{13}}
\newlabel{S.opt.vers.mnin.}{{8}{13}}
\citation{[ctrs]}
\newlabel{E.ers.min.opt.}{{8.1}{14}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9}Conclusions and Future Work}{14}}
\newlabel{S.conc.}{{9}{14}}
\bibcite{[AL]}{AsLa93}
\bibcite{[Bar]}{Bar84}
\bibcite{[B.K.K.S.]}{BKKS87}
\bibcite{[ctrs]}{GlKh94}
\bibcite{[GLM]}{GLM92}
\bibcite{[H.L.]}{HuL{\accent 19 e}91}
\bibcite{[K.S.]}{KeSl89}
\bibcite{[colog]}{Kha88}
\bibcite{[ERS]}{Kha90}
\bibcite{[OCRS]}{Kha92}
\bibcite{[rta]}{Kha93}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[kor]}{KOR93}
\bibcite{[levy]}{L{\accent 19 e}v78}
\bibcite{[le80]}{L{\accent 19 e}v80}
\bibcite{[Mar]}{Mar92}
\bibcite{[Nip.b]}{Nip93}
\bibcite{[Nok.thi.]}{N{\accent "7F o}k94}
\bibcite{[OR94]}{OR94}