\relax 
\citation{[C.F.]}
\citation{[B.K.K.S.]}
\citation{[Mar]}
\citation{[Nok.thi.]}
\citation{[colog]}
\citation{[rta]}
\citation{[SeRa]}
\citation{[Kenn]}
\citation{[AnMi]}
\citation{[Ant]}
\citation{[Gar]}
\citation{[K-tra]}
\citation{[ctrs]}
\citation{[OCRS]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[rndrs]}
\citation{[morn]}
\citation{[ctrs]}
\citation{[le80]}
\citation{[SeRa]}
\citation{[Bar]}
\citation{[Kl.CRS]}
\citation{[GLM]}
\citation{[Niv]}
\citation{[Bar]}
\citation{[le76]}
\citation{[Lon]}
\citation{[Ant]}
\citation{[rndrs]}
\citation{[le80]}
\citation{[Kl.TRS]}
\citation{[Sta]}
\citation{[GLM]}
\citation{[Oos.th]}
\citation{[GLM]}
\citation{[Raa.th]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Deterministic Residual Structures}{3}}
\citation{[GLM]}
\citation{[Sta]}
\citation{[H.L.]}
\citation{[levy]}
\citation{[le80]}
\citation{[Sta]}
\citation{[Kl.CRS]}
\citation{[Bar]}
\citation{[rndrs]}
\citation{[rndrs]}
\newlabel{D.levy.str.}{{2.1}{4}}
\newlabel{D.ext.reductions.}{{2.3}{4}}
\citation{[rndrs]}
\citation{[rndrs]}
\citation{[levy]}
\citation{[H.L.]}
\citation{[Kl.CRS]}
\citation{[OCRS]}
\citation{[Nip.b]}
\citation{[KKSdV]}
\citation{[OR94]}
\citation{[Oos.th]}
\citation{[Oos.th]}
\newlabel{L.external.rem.ext.}{{2.1}{5}}
\newlabel{L.disj.red.creat.}{{2.2}{5}}
\newlabel{D.inf.fres.rel.}{{2.4}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Existence of Discretely Needed Redexes}{5}}
\newlabel{S.drs.prop.}{{3}{5}}
\citation{[morn]}
\citation{[rndrs]}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Discrete Notions of Neededness and Essentiality}{6}}
\newlabel{D.red.need.ess.}{{3.1}{6}}
\newlabel{L.era.and.ess.im.ne.}{{3.1}{6}}
\newlabel{C.p-nee-p-ess.contr.}{{3.1}{6}}
\newlabel{L.char.p-erased.}{{3.2}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Properties of Discrete Neededness and Essentiality}{7}}
\newlabel{P.prop.nee.cre.res.}{{3.1}{7}}
\newlabel{L.ext.no.le.eqv.}{{3.3}{7}}
\citation{[ctrs]}
\newlabel{L.las.st.sel.nee.}{{3.4}{8}}
\newlabel{T.exis.sel.nee.red.fin.cas.}{{3.1}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Standardization}{8}}
\newlabel{S.sta.}{{4}{8}}
\newlabel{D.sem.lin.dr.}{{4.1}{8}}
\newlabel{L.qpp.nee.red.exi.}{{4.1}{8}}
\newlabel{D.ess.rel.red.}{{4.2}{9}}
\newlabel{L.era.lle.}{{4.1}{9}}
\newlabel{L.pus.qp.ahe.}{{4.2}{9}}
\newlabel{L.se.es.var.le.eq.orig.red.}{{4.3}{9}}
\citation{[K-tra]}
\citation{[K-tra]}
\citation{[K-tra]}
\citation{[GLM]}
\citation{[Kl.TRS]}
\newlabel{E.we.es.no.add.}{{4.1}{10}}
\newlabel{L.pnn.senee.}{{4.4}{10}}
\newlabel{C.pnee,sel.}{{4.2}{10}}
\newlabel{D.stanndrs.}{{4.3}{10}}
\newlabel{D.cof.str.cof.}{{4.4}{10}}
\newlabel{L.fa.pres.res.}{{4.5}{10}}
\newlabel{L.fai.is.str.co.con.}{{4.1}{10}}
\newlabel{L.ess.ess.w.rt.stcof.re.}{{4.6}{11}}
\newlabel{L.fin.self.ese.var.}{{4.2}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Discrete Normalization}{11}}
\newlabel{S.dis.no.}{{5}{11}}
\newlabel{D.p.q.fair.}{{5.1}{11}}
\newlabel{L.res.fai.remfair.}{{5.1}{11}}
\newlabel{L.nee.pres.one.ext.red.exis.}{{5.2}{11}}
\citation{[Lis]}
\citation{[Lis]}
\newlabel{L.pres.qp.pnee.}{{5.3}{12}}
\newlabel{T.car.lev.eqv.drs.}{{5.1}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Denotational Semantics}{12}}
\newlabel{S.abs.sem.}{{6}{12}}
\citation{[Niv]}
\citation{[le76]}
\citation{[Lon]}
\citation{[Bar]}
\citation{[Bou]}
\citation{[AKKSV]}
\citation{[Lis]}
\citation{[Lis]}
\citation{[Niv]}
\citation{[Bar]}
\citation{[Bou]}
\citation{[AriA]}
\citation{[Kl.TRS]}
\citation{[ldrs]}
\citation{[rndrs]}
\citation{[le80]}
\citation{[AL]}
\citation{[Oos]}
\citation{[ctrs]}
\citation{[rndrs]}
\citation{[morn]}
\citation{[rndrs]}
\citation{[B.L.]}
\citation{[morn]}
\citation{[B.L.]}
\citation{[H.L.]}
\citation{[KlMi]}
\citation{[Ant]}
\citation{[H.L.]}
\bibcite{[Ant]}{AEH94}
\bibcite{[AnMi]}{AnMi94}
\bibcite{[AriA]}{AA95}
\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions and Future Work}{14}}
\newlabel{S.concl.}{{7}{14}}
\bibcite{[AKKSV]}{AKKSV95}
\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{[KKSdV]}{KKSV93}
\bibcite{[K-tra]}{KKSV95}
\bibcite{[colog]}{Kha88}
\bibcite{[OCRS]}{Kha92}
\bibcite{[rta]}{Kha93}
\bibcite{[caap]}{Kha94}
\bibcite{[ldrs]}{KhGl96a}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Kl.TRS]}{Klo92}
\bibcite{[KlMi]}{KlMi90}
\bibcite{[le76]}{L\'ev76}
\bibcite{[levy]}{L\'ev78}
\bibcite{[le80]}{L\'ev80}
\bibcite{[Lis]}{Lis96}
\bibcite{[Lon]}{Lon83}
\bibcite{[Mar]}{Mar92}
\bibcite{[Nip.b]}{Nip93}
\bibcite{[Niv]}{Niv75}
\bibcite{[Nok.thi.]}{N\"ok94}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[Oos]}{Oos96}
\bibcite{[OR94]}{OR94}
\bibcite{[Raa.th]}{Raa96}
\bibcite{[SeRa]}{SeRa93}
\bibcite{[Sta]}{Sta89}