\relax 
\citation{[Kl.CRS]}
\citation{[OCRS]}
\citation{[Nip.b]}
\citation{[Wol]}
\citation{[OR94]}
\citation{[Tak93]}
\citation{[OCRS]}
\citation{[kor]}
\citation{[B.K.]}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[Kl.CRS]}
\citation{[OCRS]}
\citation{[Mes]}
\citation{[Mes]}
\citation{[OCRS]}
\citation{[kor]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Conditional Expression Reduction Systems}{2}}
\newlabel{cers}{{2}{2}}
\newlabel{D.1.}{{2.1}{2}}
\citation{[7]}
\citation{[Kl.CRS]}
\citation{[Kl.CRS]}
\citation{[vR.rta]}
\citation{[Nip.b]}
\citation{[OR94]}
\citation{[Mel]}
\citation{[OCRS]}
\newlabel{D.3.}{{2.2}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Orthogonal CERSs}{3}}
\newlabel{ocers}{{3}{3}}
\citation{[Klo90]}
\citation{[OCRS]}
\citation{[KO95]}
\citation{[lfcs]}
\newlabel{D.relaxed.orth.}{{3.1}{4}}
\newlabel{stable}{{4}{4}}
\newlabel{T.FD.}{{3.1}{4}}
\citation{[Kl.CRS]}
\citation{[KO95]}
\citation{[Bar]}
\citation{[A.F.]}
\citation{[Kl.CRS]}
\newlabel{T.CCR.}{{3.2}{5}}
\citation{[Aka]}
\citation{[Mes]}
\citation{[B.K.]}
\citation{[DJS88]}
\citation{[Toy88]}
\citation{[B.K.]}
\citation{[Bar]}
\@writefile{toc}{\contentsline {section}{\numberline {4}Expressive power of CERSs}{6}}
\newlabel{coding}{{4}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Conditional TRSs}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Encoding of strategies}{6}}
\citation{[BBKW89]}
\citation{[BBKW89]}
\citation{[BBKW89]}
\citation{[KO95]}
\citation{[Mil]}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Encoding of rewrite systems with priorities}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Encoding of Hilbert style proof systems}{7}}
\citation{[Mil]}
\bibcite{[Aka]}{Aka93}
\bibcite{[A.F.]}{AFMOW94}
\bibcite{[BBKW89]}{BBKW89}
\bibcite{[Bar]}{Bar84}
\bibcite{[B.K.]}{BK86}
\bibcite{[DJS88]}{DOS88}
\bibcite{[OCRS]}{Kha92}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}Encoding of the $\pi $-calculus}{8}}
\bibcite{[lfcs]}{Kha94}
\bibcite{[KO95]}{KO95}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Klo90]}{Klo90}
\bibcite{[kor]}{KOR93}
\bibcite{[Mel]}{Mel93}
\bibcite{[Mes]}{Mes92}
\bibcite{[Mil]}{Mil92}
\bibcite{[7]}{Ned73}
\bibcite{[Nip.b]}{Nip93}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[OR94]}{OR94}
\bibcite{[vR.rta]}{vR93}
\bibcite{[Tak93]}{Tak93}
\bibcite{[Toy88]}{Toy88}
\bibcite{[Wol]}{Wol93}