\relax 
\citation{[Win],[NPW],[Win89]}
\citation{[B.L.]}
\citation{[N.R.]}
\citation{[levy],[le80]}
\citation{[Bou]}
\citation{[D.J.],[Klo92]}
\citation{[Klo92]}
\citation{[Bou]}
\citation{[K.P.]}
\citation{[Sco]}
\citation{[Plo83]}
\citation{[K.P.]}
\citation{[Gir87]}
\citation{[Win89]}
\citation{[Bou]}
\citation{[H.L.]}
\citation{[K.P.]}
\@writefile{toc}{\contentsline {title}{Stable Computational Semantics \unskip \ \ignorespaces  of Conflict-free Rewrite Systems \unskip \ \ignorespaces  (Partial Orders with Duplication)}{1}}
\@writefile{toc}{\contentsline {author}{Zurab Khasidashvili\unskip {} \and John Glauert\unskip {}}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[KKSdV]}
\citation{[Win],[NPW],[Win89]}
\citation{[Mel97]}
\citation{[H.L.]}
\citation{[Win89]}
\citation{[Win89]}
\citation{[levy],[le80]}
\citation{[Cur]}
\citation{[mfcs-tcs]}
\citation{[Win89]}
\citation{[Lan94]}
\citation{[CGM]}
\citation{[Sco]}
\citation{[Bou],[Mel]}
\citation{[GK02]}
\citation{[Bar]}
\citation{[le76],[Lon]}
\citation{[Ber96]}
\citation{[rndrs]}
\citation{[Hin],[Klo92]}
\citation{[rndrs],[GK02]}
\citation{[Win89]}
\citation{[Win89]}
\citation{[Lan94]}
\citation{[levy],[le80]}
\citation{[mfcs-tcs]}
\citation{[K.P.]}
\citation{[Win89]}
\citation{[Sco],[LW93]}
\citation{[Lan94]}
\citation{[mfcs-tcs]}
\citation{[Bou],[Mel97]}
\citation{[fsttcs],[GK02]}
\newlabel{E.lan.}{{11}{4}}
\citation{[levy],[le80]}
\citation{[rndrs]}
\citation{[levy],[le80],[B.L.],[H.L.]}
\citation{[H.L.],[levy],[le80],[Sta]}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The orderings}}{5}}
\newlabel{fig:reg_order}{{1}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Preliminaries: Residuals, stability, and normalization}{5}}
\newlabel{D.rel.ord.}{{22}{6}}
\newlabel{D.clo.reduc.sets.}{{23}{6}}
\newlabel{D.can.sn.}{{24}{6}}
\citation{[GK02]}
\citation{[GK02]}
\newlabel{ne.fa.norm.reg.}{{25}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Properties of reduction domains}{7}}
\newlabel{S.stab.red.dom.}{{3}{7}}
\newlabel{sleq.via.leq.}{{31}{7}}
\newlabel{L.tra.fin.}{{32}{7}}
\newlabel{P.sleq.po.}{{33}{7}}
\newlabel{D.mj.rel}{{34}{7}}
\newlabel{l.eq.sun.sun.}{{35}{7}}
\newlabel{L.sle.pr.res.}{{36}{7}}
\newlabel{L.jo.fin.joi.}{{37}{8}}
\newlabel{L.int.glb.}{{38}{8}}
\newlabel{T.int.glb.rel}{{39}{8}}
\citation{[GK02]}
\citation{[jlc2]}
\newlabel{C.stab.lat.}{{310}{9}}
\newlabel{L.dev.dom.fin.}{{311}{9}}
\newlabel{L.finfin.}{{312}{9}}
\newlabel{fin.el.}{{313}{9}}
\newlabel{P.stab.lat.fin.}{{314}{9}}
\citation{[K.P.]}
\citation{[Cur]}
\citation{[Win89]}
\citation{[Sco],[LW93]}
\@writefile{toc}{\contentsline {section}{\numberline {4}A representation theorem for the reduction orderings}{10}}
\newlabel{S.rep.th.}{{4}{10}}
\newlabel{D.stab.proj.}{{41}{10}}
\citation{[levy]}
\citation{[Klo92]}
\citation{[D.P.]}
\newlabel{D.acc.free.}{{42}{11}}
\newlabel{L.proj.lem.}{{43}{11}}
\newlabel{T.isom.proj.}{{44}{11}}
\newlabel{T.leq.red.}{{45}{11}}
\citation{[K.P.]}
\citation{[Cur]}
\citation{[K.P.],[Win]}
\newlabel{D.par.res.}{{46}{12}}
\newlabel{rel.stab.order.}{{47}{12}}
\citation{[rndrs]}
\citation{[levy],[le80]}
\newlabel{L.no-erasu.}{{48}{13}}
\newlabel{L.red=cov.}{{49}{13}}
\newlabel{T.eq.po.mod.}{{410}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Imposing more structure on $\unlhd _{{\cal  S}}$}{13}}
\newlabel{S.DFS-order}{{5}{13}}
\citation{[ldrs]}
\citation{[Bou]}
\citation{[Win89]}
\citation{[BCL],[Ong.chap.]}
\citation{[Gir86],[CGW89]}
\citation{[acoi-rep],[ldrs]}
\citation{[berry]}
\bibcite{[AGM]}{AGM}
\newlabel{L.proj.fam.}{{51}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusions and future work}{14}}
\newlabel{S.concl.}{{6}{14}}
\bibcite{[Bar]}{Bar84}
\bibcite{[Ber96]}{Ber96}
\bibcite{[berry]}{Ber79}
\bibcite{[B.L.]}{BL79}
\bibcite{[BCL]}{BCL85}
\citation{[N.R.]}
\bibcite{[Bou]}{Bou85}
\citation{[N.R.]}
\bibcite{[CGW89]}{CGW89}
\bibcite{[CGM]}{CGM95}
\bibcite{[Cur]}{Cur86}
\bibcite{[D.P.]}{DP90}
\bibcite{[D.J.]}{DJ90}
\bibcite{[Gir86]}{Gir86}
\bibcite{[Gir87]}{Gir87}
\bibcite{[jlc2]}{GKK00}
\bibcite{[rndrs]}{GK96}
\bibcite{[fsttcs]}{GK96a}
\bibcite{[GK02]}{GK02}
\bibcite{[GLM]}{GLM92}
\bibcite{[Gun93]}{Gun93}
\bibcite{[Hin]}{Hin69}
\bibcite{[H.L.]}{HL91}
\bibcite{[K.P.]}{KP93}
\bibcite{[KKSdV]}{KKSV93}
\bibcite{[ldrs]}{KG97}
\bibcite{[acoi-rep]}{KG97a}
\bibcite{[mfcs-tcs]}{KG98}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Klo92]}{Klo92}
\citation{[AGM]}
\bibcite{[Lan94]}{Lan94}
\bibcite{[LW93]}{LW93}
\bibcite{[le76]}{L\'ev76}
\bibcite{[levy]}{L\'ev78}
\bibcite{[le80]}{L\'ev80}
\bibcite{[Lon]}{Lon83}
\bibcite{[Mel]}{Mel96}
\bibcite{[Mel97]}{Mel97}
\bibcite{[Mel98]}{Mel98}
\bibcite{[NPW]}{NPW81}
\bibcite{[N.R.]}{NR85}
\bibcite{[Ong.chap.]}{Ong95}
\citation{[AGM]}
\bibcite{[Plo83]}{Plo83}
\bibcite{[Sco]}{Sco82}
\bibcite{[Sta]}{Sta89}
\bibcite{[Win]}{Win80}
\bibcite{[Win89]}{Win89}
\@writefile{toc}{\contentsline {section}{\numberline {7}Appendix A: Partial orders}{16}}
\newlabel{D.fpad.}{{71}{16}}
\citation{[GLM]}
\citation{[Sta]}
\citation{[GK02]}
\@writefile{toc}{\contentsline {section}{\numberline {8}Appendix B: Properties of Residuals}{17}}
\newlabel{D.levy.str.}{{81}{17}}
\newlabel{P.cre.res.need.}{{82}{18}}
\newlabel{D.DRS.}{{84}{18}}
\@writefile{toc}{\contentsline {section}{\numberline {9}Appendix C: Proofs}{18}}