\relax 
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[colog]}
\citation{[rta]}
\citation{[K.S.]}
\citation{[levy]}
\citation{[B.K.K.S.]}
\citation{[Kl.CRS]}
\citation{[caap]}
\citation{[Gar]}
\citation{[Ant]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\citation{[Mar]}
\citation{[rta]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\citation{[ERS],[OCRS]}
\citation{[K.S.]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[Pk]}
\citation{[Acz]}
\citation{[Nip.b],[Wol.th],[OR94]}
\citation{[kor]}
\citation{[Oos.th]}
\citation{[ERS],[OCRS]}
\citation{[OCRS]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Orthogonal Expression Reduction Systems}{3}}
\newlabel{S.CRS}{{2}{3}}
\newlabel{D.1.}{{2.1}{3}}
\citation{[Kl.CRS]}
\citation{[AL]}
\newlabel{D.CRS.}{{2.2}{4}}
\citation{[OCRS]}
\citation{[colog],[rta],[OCRS]}
\newlabel{D.desc.comp.}{{2.3}{6}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {1}{\ignorespaces }}{7}}
\newlabel{P.ctrs4}{{1}{7}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2}{\ignorespaces }}{7}}
\newlabel{P.ctrs5}{{2}{7}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {3}{\ignorespaces }}{8}}
\newlabel{P.ctrs6}{{3}{8}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4}{\ignorespaces }}{8}}
\newlabel{P.ctrs7}{{4}{8}}
\citation{[Kl.TRS]}
\citation{[OCRS]}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {5}{\ignorespaces }}{9}}
\newlabel{P.ctrs8}{{5}{9}}
\newlabel{D.4.}{{2.5}{9}}
\citation{[Bar]}
\citation{[le80]}
\citation{[Kl.CRS]}
\citation{[OCRS]}
\citation{[H.L.],[le80]}
\citation{[Mar]}
\citation{[rta],[colog]}
\citation{[rta]}
\citation{[H.L.]}
\newlabel{T.CRst.oc.}{{2.1}{10}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Neededness, Essentiality and Unabsorbedness}{10}}
\newlabel{S.ess.unabs.}{{3}{10}}
\newlabel{D.need.}{{3.1}{10}}
\newlabel{D.ess.}{{3.2}{10}}
\newlabel{D.abs.}{{3.3}{10}}
\citation{[Kl.TRS]}
\citation{[Kl.CRS]}
\citation{[caap]}
\citation{[rta]}
\newlabel{L.erasu.delet,}{{3.4}{11}}
\newlabel{D.fair.]}{{3.5}{11}}
\newlabel{L.eraser.}{{3.1}{11}}
\newlabel{L.3.3.}{{3.2}{11}}
\newlabel{D.3.5.}{{3.6}{11}}
\citation{[rta]}
\newlabel{L.rep.iness.}{{3.3}{12}}
\newlabel{C.ex.ess.}{{3.1}{12}}
\newlabel{T.N=E.}{{3.1}{12}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Relative Notions of Neededness}{13}}
\newlabel{S.rel.need.}{{4}{13}}
\newlabel{D.rel.need.}{{4.1}{13}}
\citation{[H.L.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\newlabel{D.perm.cl.}{{4.1}{14}}
\newlabel{P.mar.need.fair.}{{4.1}{15}}
\citation{[K.S.]}
\citation{[Kl.CRS]}
\citation{[levy]}
\citation{[K.S.]}
\citation{[K.S.]}
\citation{[K.S.]}
\newlabel{L.desc.comp.subt.mutch.}{{4.1}{16}}
\newlabel{L.Int.}{{4.3}{16}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}A Labelling for OERSs}{16}}
\newlabel{S.labels}{{5}{16}}
\newlabel{P.lab.nest.}{{5.1}{16}}
\citation{[Kl.CRS],[levy]}
\citation{[le80]}
\citation{[AL]}
\citation{[K.S.]}
\citation{[Mar]}
\citation{[le80]}
\newlabel{P.extr.cre.}{{5.1}{17}}
\newlabel{P.BCT.}{{5.2}{17}}
\newlabel{D.fam.}{{5.1}{17}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}The Relative Normalization Theorem}{17}}
\newlabel{S.rel.normal.}{{6}{17}}
\newlabel{L.ext.pres.on.st.}{{6.1}{17}}
\newlabel{C.et.dev.}{{6.1}{17}}
\newlabel{L.disj.disc.comp.}{{6.2}{17}}
\newlabel{L.supress.}{{6.3}{18}}
\newlabel{T.3.1.c.}{{6.2}{18}}
\newlabel{L.3.3.c.}{{6.4}{18}}
\citation{[K.S.]}
\citation{[colog]}
\citation{[le80]}
\newlabel{L.4.1.c.}{{6.5}{19}}
\newlabel{T.ex.M-need.}{{6.1}{19}}
\newlabel{L.pers.need.}{{6.6}{19}}
\citation{[H.L.]}
\citation{[Ken]}
\citation{[Nok.thi.]}
\bibcite{[Acz]}{Acz78}
\bibcite{[Ant]}{AEH94}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Conclusions and Future Work}{20}}
\newlabel{S.conc.}{{7}{20}}
\bibcite{[AL]}{AsLa93}
\bibcite{[Bar]}{Bar84}
\bibcite{[B.K.K.S.]}{BKKS87}
\bibcite{[D.J.]}{DeJo90}
\bibcite{[Gar]}{Gar94}
\bibcite{[H.L.]}{HuL{\accent 19 e}91}
\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{[Kl.TRS]}{Klo92}
\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{[Oos.th]}{Oos94}
\bibcite{[OR94]}{OR94}
\bibcite{[Pk]}{Pkh77}
\bibcite{[Wol.th]}{Wol93}