\relax \bibstyle{plain}\citation{[C.F.]}\citation{[H.L.]}\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}\citation{[B.K.K.S.]}\citation{[Mid]}\citation{[Nok.thi.]}\citation{[colog]}\citation{[rta]}\citation{[caap]}\citation{[Mar]}\citation{[SeRa]}\citation{[caap]}\citation{[KP99]}\citation{[Gar]}\citation{[Ant]}\citation{[K-tra]}\citation{[Bou]}\citation{[Mel]}\citation{[Kenn]}\citation{[AnMi]}\citation{[H.L.]}\citation{[Mar]}\citation{[B.K.K.S.]}\citation{[Mid]}\citation{[Win89]}\citation{[ctrs]}\citation{[morn]}\citation{[Bar]}\citation{[le76]}\citation{[Lon]}\citation{[Mar]}\citation{[B.L.]}\citation{[le80]}\citation{[BBKV]}\citation{[ERS]}\citation{[OCRS]}\citation{[pun-ic]}\citation{[ctrs]}\citation{[K.S.]}\citation{[ctrs]}\citation{[fsttcs]}\citation{[morn]}\citation{[Kl.CRS]}\citation{[Bar]}\citation{[Pk]}\citation{[Acz]}\citation{[OCRS]}\citation{[Wol.th]}\citation{[MN98]}\citation{[OR94]}\citation{[Raa.th]}\citation{[OCRS]}\citation{[pun-ic]}\@writefile{toc}{\contentsline {section}{\numberline {2}Orthogonal Expression Reduction Systems}{5}}\newlabel{S.CRS}{{2}{5}}\newlabel{D.1.}{{1}{5}}\citation{[pun-ic]}\citation{[Raa.th]}\citation{[Oos]}\citation{[HP96]}\citation{[Oos97]}\citation{[Oos99]}\citation{[pun-ic]}\citation{[Kl.CRS]}\newlabel{D.CRS.}{{2}{6}}\citation{[Kl.CRS]}\citation{[OCRS]}\citation{[pun-ic]}\citation{[Bar]}\citation{[Bar]}\citation{[Kl.CRS]}\citation{[levy]}\citation{[le80]}\citation{[OCRS]}\citation{[pun-ic]}\citation{[Bar]}\citation{[Kl.CRS]}\citation{[Kl.CRS]}\citation{[OR94]}\citation{[Oos.th]}\citation{[Mel]}\newlabel{T.FD.}{{4}{7}}\citation{[Mar]}\citation{[morn]}\newlabel{T.CRst.oc.}{{5}{8}}\@writefile{toc}{\contentsline {section}{\numberline {3}Stability and Relative Notions of Neededness}{8}}\newlabel{S.rel.need.}{{3}{8}}\newlabel{D.exter.and.vanish.}{{6}{8}}\newlabel{D.rel.need.}{{7}{8}}\citation{[H.L.]}\citation{[B.K.K.S.]}\citation{[Nok.thi.]}\citation{[Mid]}\citation{[ctrs]}\citation{[Kl.CRS]}\citation{[Kl.CRS]}\@writefile{toc}{\contentsline {section}{\numberline {4}A Labelling for OERSs}{9}}\newlabel{S.labels}{{4}{9}}\citation{[Kl.CRS]}\citation{[le76]}\citation{[levy]}\citation{[AL]}\citation{[Kl.CRS]}\citation{[Mar91]}\citation{[Oos]}\citation{[Kl.CRS]}\citation{[Mel]}\citation{[Oos97]}\citation{[K.S.]}\citation{[Mar]}\citation{[le80]}\newlabel{P.lab.nest.}{{10}{11}}\newlabel{P.extr.cre.}{{11}{11}}\newlabel{P.BCT.}{{12}{11}}\@writefile{toc}{\contentsline {section}{\numberline {5}The Relative Normalization Theorem}{11}}\newlabel{S.rel.normal.}{{5}{11}}\newlabel{L.external.rem.ext.}{{13}{12}}\newlabel{T.3.1.c.}{{14}{12}}\newlabel{L.4.1.c.}{{15}{12}}\newlabel{T.ex.M-need.}{{16}{12}}\citation{[H.L.]}\citation{[Kl.CRS]}\newlabel{L.pers.need.}{{17}{13}}\newlabel{P.3.3.c.}{{18}{13}}\citation{[le80]}\@writefile{toc}{\contentsline {section}{\numberline {6}The Relative Hypernormalization Theorem}{14}}\newlabel{S.hyp.nr.}{{6}{14}}\newlabel{hyper.failure}{{19}{14}}\newlabel{D.4.1.}{{21}{15}}\newlabel{D.4.2.}{{22}{15}}\newlabel{L.4.4.}{{23}{15}}\newlabel{L.4.5.}{{24}{16}}\newlabel{T.4.2.}{{25}{16}}\@writefile{toc}{\contentsline {section}{\numberline {7}Minimal Relative Normalization}{16}}\newlabel{S.min.}{{7}{16}}\newlabel{D.qpn.}{{26}{17}}\newlabel{E.nne.per.sec.con.}{{27}{17}}\newlabel{L.prs.m-nee.sec.}{{28}{18}}\newlabel{D.m-min.}{{29}{18}}\newlabel{L.qpn<min.}{{30}{18}}\newlabel{E.min.vers.irreg.}{{31}{18}}\newlabel{D.F-red.}{{32}{19}}\newlabel{D.M-abs.}{{33}{19}}\newlabel{E.abs.una.}{{34}{19}}\citation{[H.L.]}\citation{[rta]}\citation{[pun-ic]}\citation{[rta]}\citation{[ctrs]}\newlabel{L.exist.m.unabs.m.nee.}{{35}{20}}\newlabel{L.reg.f-unabs=>unabs.}{{36}{20}}\newlabel{P.min=qpn.}{{37}{20}}\citation{[Bar]}\citation{[H.L.]}\citation{[Kl.CRS]}\citation{[Mar]}\citation{[Bar]}\citation{[H.L.]}\citation{[Kl.CRS]}\citation{[GLM]}\citation{[morn]}\newlabel{T.qpmn.gen.min.str.}{{38}{21}}\@writefile{toc}{\contentsline {section}{\numberline {8}The Relative Standardization Theorem}{21}}\newlabel{S.sta.}{{8}{21}}\@writefile{toc}{\contentsline {section}{\numberline {9}The Relative Optimality Theorem}{21}}\newlabel{S.un.opt.}{{9}{21}}\citation{[le80]}\newlabel{D.fam.}{{41}{22}}\newlabel{L.fam.compl.}{{43}{22}}\newlabel{T.unif.opt.}{{44}{22}}\@writefile{toc}{\contentsline {section}{\numberline {10}Relative optimal versus minimal reductions}{22}}\newlabel{S.opt.vers.mnin.}{{10}{22}}\newlabel{E.ers.min.opt.}{{45}{23}}\@writefile{toc}{\contentsline {section}{\numberline {11}Conclusions}{24}}\newlabel{S.conc.}{{11}{24}}\citation{[rndrs]}\citation{[Mel98]}\bibdata{GlaKenKha}\bibcite{[Acz]}{1}\bibcite{[Ant]}{2}\bibcite{[AnMi]}{3}\bibcite{[AL]}{4}\bibcite{[Bar]}{5}\bibcite{[BBKV]}{6}\bibcite{[B.K.K.S.]}{7}\bibcite{[B.L.]}{8}\bibcite{[Bou]}{9}\bibcite{[C.F.]}{10}\bibcite{[Gar]}{11}\bibcite{[morn]}{12}\bibcite{[ctrs]}{13}\bibcite{[fsttcs]}{14}\bibcite{[rndrs]}{15}\bibcite{[GLM]}{16}\bibcite{[HP96]}{17}\bibcite{[H.L.]}{18}\bibcite{[Kenn]}{19}\bibcite{[K-tra]}{20}\bibcite{[K.S.]}{21}\bibcite{[colog]}{22}\bibcite{[ERS]}{23}\bibcite{[OCRS]}{24}\bibcite{[rta]}{25}\bibcite{[caap]}{26}\bibcite{[pun-ic]}{27}\bibcite{[KP99]}{28}\bibcite{[Kl.CRS]}{29}\bibcite{[le76]}{30}\bibcite{[levy]}{31}\bibcite{[le80]}{32}\bibcite{[Lon]}{33}\bibcite{[Mar91]}{34}\bibcite{[Mar]}{35}\bibcite{[MN98]}{36}\bibcite{[Mel]}{37}\bibcite{[Mel98]}{38}\bibcite{[Mid]}{39}\bibcite{[Nok.thi.]}{40}\bibcite{[Pk]}{41}\bibcite{[SeRa]}{42}\bibcite{[Oos.th]}{43}\bibcite{[Oos]}{44}\bibcite{[Oos97]}{45}\bibcite{[Oos99]}{46}\bibcite{[OR94]}{47}\bibcite{[Raa.th]}{48}\bibcite{[Win89]}{49}\bibcite{[Wol.th]}{50}