\section{XML-Transformationen / Term-Ersetzungs-Systeme}


\input{rewriting/def}
\input{rewriting/sub}
\input{rewriting/pos}
\input{rewriting/rule}
\input{rewriting/sys}
\input{rewriting/bei}
\input{rewriting/srs}
\input{rewriting/term}
\input{rewriting/auf}

\input{rewriting/norm}
\input{rewriting/prog}


\input{rewriting/cas}
\input{rewriting/conf}
\input{rewriting/loconf}
\input{rewriting/cp}
\input{rewriting/mgu}
\input{rewriting/ortho}
\input{rewriting/cons}
\input{rewriting/xslt}
\input{rewriting/reg}




