\relax 
\bibcite{Adams}{1}
\bibcite{Anick-theory}{2}
\bibcite{SK-NATO}{3}
\bibcite{Becker}{4}
\bibcite{Biuch}{5}
\bibcite{bergman-demo}{6}
\bibcite{bergman1}{7}
\bibcite{macaulay}{8}
\bibcite{Frob}{9}
\bibcite{CA-Handbook}{10}
\bibcite{Green}{11}
\bibcite{Opal}{12}
\bibcite{Pfister}{13}
\bibcite{Reduce}{14}
\bibcite{CA-interfaces}{15}
\bibcite{Kreuzer}{16}
\bibcite{math1}{17}
\bibcite{StLisp}{18}
\bibcite{Mora}{19}
\bibcite{math2}{20}
\bibcite{math3}{21}
\bibcite{Sturm}{22}
\bibcite{Ufn98}{23}
\bibcite{bergman-home}{24}
\bibcite{Robbiano}{25}
\bibcite{Felix-home}{26}
\bibcite{Keller-research-Opal}{27}
\bibcite{Opal-link}{28}
\bibcite{MAS-home}{29}
\@setckpt{bibl}{
\setcounter{page}{214}
\setcounter{equation}{0}
\setcounter{enumi}{11}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{29}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{4}
\setcounter{section}{3}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
}
