\section{Inferenz-Systeme}

\input{infer/intro}
\input{infer/infer}
\input{infer/bei1}
\input{infer/bei2}
\input{infer/bei3}
\input{infer/math}
\input{infer/env}
\input{infer/res}

% \input{infer/infer2}