\relax 
\citation{[C.F.]}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\citation{[ctrs]}
\citation{[OCRS]}
\citation{[Kl.CRS]}
\citation{[rndrs]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[Bou]}
\citation{[colog]}
\citation{[rta]}
\citation{[caap]}
\citation{[K.S.]}
\citation{[Kl.CRS]}
\citation{[SeRa]}
\citation{[Kenn]}
\citation{[AnMi]}
\citation{[Ant]}
\citation{[Gar]}
\citation{[K-tra]}
\citation{[levy]}
\citation{[Bar]}
\citation{[le76]}
\citation{[Lon]}
\citation{[A.O.]}
\citation{[Mar]}
\citation{[B.L.]}
\citation{[rndrs]}
\citation{[morn]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[OCRS]}
\citation{[Nip.b]}
\citation{[OR94]}
\citation{[Raa.th]}
\citation{[OCRS]}
\citation{[ctrs]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Orthogonal Expression Reduction Systems}{3}}
\newlabel{S.CRS}{{2}{3}}
\newlabel{D.1.}{{2.1}{3}}
\citation{[Kl.CRS]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[levy]}
\newlabel{D.CRS.}{{2.2}{4}}
\citation{[OCRS]}
\citation{[Kl.CRS]}
\citation{[Nip.b]}
\citation{[kor]}
\citation{[OR94]}
\citation{[Oos.th]}
\citation{[KvO]}
\citation{[Raa.th]}
\citation{[ctrs]}
\newlabel{T.CRst.oc.}{{2.1}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Relative Normalization}{5}}
\newlabel{S.rel.need.}{{3}{5}}
\newlabel{D.rel.need.}{{3.1}{5}}
\newlabel{L.3.3.c.}{{3.1}{5}}
\newlabel{T.ex.M-need.}{{3.1}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Minimal Relative Normalization}{6}}
\newlabel{S.min.}{{4}{6}}
\newlabel{D.qpn.}{{4.1}{6}}
\newlabel{E.nne.per.sec.con.}{{4.1}{6}}
\newlabel{L.prs.m-nee.sec.}{{4.1}{6}}
\citation{[H.L.]}
\citation{[rta]}
\citation{[ctrs]}
\citation{[H.L.]}
\newlabel{D.m-min.}{{4.2}{7}}
\newlabel{L.qpn<min.}{{4.2}{7}}
\newlabel{D.F-red.}{{4.3}{7}}
\newlabel{D.M-abs.}{{4.4}{7}}
\newlabel{E.abs.una.}{{4.2}{7}}
\citation{[colog]}
\citation{[rta]}
\newlabel{L.exist.m.unabs.m.nee.}{{4.1}{8}}
\newlabel{E.min.vers.irreg.}{{4.3}{8}}
\newlabel{L.nd<any.}{{4.3}{8}}
\newlabel{L.reg.f-unabs=>unabs.}{{4.4}{8}}
\citation{[OCRS]}
\citation{[morn]}
\citation{[Bar]}
\citation{[Kl.CRS]}
\citation{[GLM]}
\citation{[GLM]}
\citation{[Kl.CRS]}
\citation{[levy]}
\citation{[le80]}
\citation{[Mar91]}
\citation{[AL]}
\citation{[Oos]}
\citation{[rndrs]}
\newlabel{P.min=qpn.}{{4.2}{9}}
\newlabel{T.qpmn.gen.min.str.}{{4.1}{9}}
\citation{[KvO]}
\@writefile{toc}{\contentsline {section}{\numberline {5}Relative optimal versus minimal reductions}{10}}
\newlabel{S.opt.vers.mnin.}{{5}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusions and Future Work}{10}}
\newlabel{S.conc.}{{6}{10}}
\citation{[B.L.]}
\citation{[ctrs]}
\bibcite{[A.O.]}{AbOn93}
\bibcite{[Ant]}{AEH94}
\bibcite{[AnMi]}{AnMi94}
\bibcite{[AL]}{AsLa93}
\bibcite{[Bar]}{Bar84}
\bibcite{[B.K.K.S.]}{BKKS87}
\bibcite{[B.L.]}{BeL\'e79}
\bibcite{[Bou]}{Bou85}
\bibcite{[C.F.]}{CuFe58}
\bibcite{[Gar]}{Gar94}
\bibcite{[ctrs]}{GlKh94}
\bibcite{[morn]}{GlKh94a}
\bibcite{[rndrs]}{GlKh96}
\bibcite{[GLM]}{GLM92}
\bibcite{[H.L.]}{HuL\'e91}
\bibcite{[Kenn]}{Ken89}
\bibcite{[K.S.]}{KeSl89}
\bibcite{[K-tra]}{KKSV95}
\bibcite{[colog]}{Kha88}
\bibcite{[OCRS]}{Kha92}
\bibcite{[rta]}{Kha93}
\bibcite{[caap]}{Kha94}
\bibcite{[KvO]}{KvO95}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[kor]}{KOR93}
\bibcite{[le76]}{L\'ev76}
\bibcite{[levy]}{L\'ev78}
\bibcite{[le80]}{L\'ev80}
\bibcite{[Lon]}{Lon83}
\bibcite{[Mar91]}{Mar91}
\bibcite{[Mar]}{Mar92}
\bibcite{[Nip.b]}{Nip93}
\bibcite{[Nok.thi.]}{N\"ok94}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[Oos]}{Oos96}
\bibcite{[OR94]}{OR94}
\bibcite{[Raa.th]}{Raa96}
\bibcite{[SeRa]}{SeRa93}