\relax 
\citation{[Kl.CRS]}
\citation{[OCRS]}
\citation{[Nip.b]}
\citation{[Wol]}
\citation{[OR94]}
\citation{[Tak93]}
\citation{[Lor.th]}
\citation{[OCRS]}
\citation{[kor]}
\citation{[B.K.]}
\citation{[Kl.CRS]}
\citation{[OCRS]}
\citation{[Mes]}
\citation{[Mes]}
\citation{[OCRS]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Conditional Expression Reduction Systems}{1}}
\newlabel{cers}{{2}{1}}
\newlabel{D.1.}{{2.1}{1}}
\citation{[kor]}
\citation{[kor]}
\newlabel{D.3.}{{2.2}{2}}
\citation{[7]}
\citation{[Kl.CRS]}
\citation{[Kl.CRS]}
\citation{[vR.rta]}
\citation{[Nip.b]}
\citation{[OR94]}
\citation{[Mel]}
\citation{[OCRS]}
\citation{[OCRS]}
\citation{[colog]}
\citation{[rta]}
\citation{[OCRS]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Orthogonal CERSs}{3}}
\newlabel{ocers}{{3}{3}}
\citation{[Kl.CRS]}
\citation{[colog]}
\newlabel{D.13.}{{3.1}{4}}
\citation{[lfcs]}
\citation{[Kl.CRS]}
\citation{[lfcs]}
\citation{[Kl.CRS]}
\citation{[Kl.CRS]}
\newlabel{D.relaxed.orth.}{{3.2}{5}}
\newlabel{stable}{{4}{5}}
\newlabel{lem:klop}{{3.1}{6}}
\newlabel{L.incr.wn.sn.}{{3.1}{6}}
\newlabel{L.1.}{{3.2}{6}}
\newlabel{D.15.}{{3.3}{6}}
\newlabel{L.4.}{{3.3}{6}}
\newlabel{L.6.}{{3.4}{6}}
\newlabel{L.7.}{{3.5}{6}}
\citation{[OCRS]}
\citation{[OCRS]}
\citation{[H.L.]}
\citation{[Bar]}
\citation{[OCRS]}
\citation{[OCRS]}
\citation{[Bar]}
\newlabel{T.2.}{{3.1}{7}}
\newlabel{T.CFD.}{{3.2}{7}}
\newlabel{T.CCR.}{{3.3}{7}}
\citation{[Aka]}
\citation{[A.F.]}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Call-by-need $\lambda $-calculus}{8}}
\citation{[Kl.CRS]}
\citation{[Mes]}
\citation{[B.K.]}
\citation{[DJS88]}
\citation{[Toy88]}
\citation{[B.K.]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Expressive power of CERSs}{9}}
\newlabel{coding}{{4}{9}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}Conditional TRSs}{9}}
\citation{[Lor.th]}
\citation{[H.L.]}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}Encoding of strategies}{10}}
\citation{[BBKW89]}
\citation{[BBKW89]}
\citation{[BBKW89]}
\citation{[Shoen]}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.3}Encoding of rewrite systems with priorities}{11}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.4}Encoding of Hilbert style proof systems}{11}}
\newlabel{formseq}{{1}{11}}
\newlabel{existsrule}{{3}{11}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.5}Encoding of Gentzen style proof systems}{12}}
\citation{[Pra]}
\citation{[Mil]}
\citation{[Mil]}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.6}Encoding of the $\pi $-calculus}{13}}
\bibcite{[Aka]}{Aka93}
\bibcite{[A.F.]}{AFMOW94}
\bibcite{[BBKW89]}{BBKW89}
\bibcite{[Bar]}{Bar84}
\bibcite{[B.K.]}{BK86}
\bibcite{[DJS88]}{DOS88}
\bibcite{[H.L.]}{HL91}
\bibcite{[colog]}{Kha88}
\bibcite{[OCRS]}{Kha92}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Conclusions}{14}}
\bibcite{[rta]}{Kha93}
\bibcite{[lfcs]}{Kha94}
\bibcite{[Kl.CRS]}{Klo80}
\bibcite{[Klo90]}{Klo90}
\bibcite{[Klo92]}{Klo92}
\bibcite{[kor]}{KOR93}
\bibcite{[Lor.th]}{Lor93}
\bibcite{[Mel]}{Mel93}
\bibcite{[Mes]}{Mes92}
\bibcite{[Mil]}{Mil92}
\bibcite{[7]}{Ned73}
\bibcite{[Nip.b]}{Nip93}
\bibcite{[Oos.th]}{Oos94}
\bibcite{[OR94]}{OR94}
\bibcite{[Pra]}{Pra71}
\bibcite{[vR.rta]}{vR93}
\bibcite{[Shoen]}{Sho67}
\bibcite{[Tak93]}{Tak93}
\bibcite{[Toy88]}{Toy88}
\bibcite{[Wol]}{Wol93}