\bibstyle{alpha}
\bibdata{manual}
\citation{Grape}
\citation{Nauty}
\citation{Dotw}
\citation{McSo}
\citation{CaSo}
\citation{CaSo}
\citation{Soi1}
\citation{McSo}
\citation{McSo}
\citation{Extrep}
\citation{BaCa}
\citation{BaRo}
\citation{BaCa}
\citation{BaCh}
\citation{Extrep}
