\begin{thebibliography}{10}

\bibitem{BCGR92}
D.~Berque, R.~Cecchini, M.~Goldberg, and R.~Rivenburgh.
\newblock The setplayer system for symbolic computation on power sets.
\newblock {\em Journal of Symbolic Computation}, 14:645--662, 1992.

\bibitem{bsig97}
J.~Berry.
\newblock Improving discrete mathematics and algorithms curricula with {LINK}.
\newblock In {\em SIGCSE/SIGCUE Conference on Integrating Technology into
  Computer Science Education}, pages 14--20, 1997.

\bibitem{bd96}
J.~Berry and N.~Dean.
\newblock Market basket analysis with {LINK}.
\newblock submitted to Congressus Numerantium, 1996.

\bibitem{tr95}
J.~Berry, N.~Dean, P.~Fasel, M.~Goldberg, E.~Johnson, J.~MacCuish, G.~Shannon,
  and S.~Skiena.
\newblock {LINK}: A combinatorics and graph theory workbench for applications
  and research.
\newblock Technical Report 95-15, Center for Discrete Mathematics and
  Theoretical Computer Science (see also: http://dimacs.rutgers.edu),
  Piscataway, NJ, 1995.

\bibitem{cl96}
G.~Cherlin and B.~Latka.
\newblock A decision problem involving tournaments.
\newblock Technical Report 96-11, Center for Discrete Mathematics and
  Theoretical Computer Science, 1996.

\bibitem{eg95}
E.~Gallesio.
\newblock The stk reference manual.
\newblock Technical Report RT 95-31a, I3S CNRS, Universit\'{e} de Nice - Sophia
  Antipolis, France, 1995.

\bibitem{h96}
M.~Himsolt.
\newblock The graphlet system.
\newblock In Stephen North, editor, {\em {\em Graph Drawing}, Lecture Notes in
  Computer Science}, volume 1190, pages 233--240, 1996.

\bibitem{l94}
B.~Latka.
\newblock Finitely constrained classes of homogeneous directed graphs.
\newblock {\em The Journal of Symbolic Logic}, 59(1):124--139, March 1994.

\bibitem{M90}
E.~M{\"a}kinen.
\newblock How to draw a hypergraph.
\newblock {\em International Journal of Computer Mathematics}, 34:177--185,
  1990.

\bibitem{mck90}
B.~McKay.
\newblock Nauty user's guide.
\newblock Technical Report TR-CS-90-02, Australian National University, 1990.

\bibitem{MeN95}
K.~Mehlhorn and S.~N{\"a}hger.
\newblock Leda: A platform for combinatorial and geometric computing.
\newblock {\em CACM}, 38(1):96--102, Jan 1995.

\bibitem{MDM90}
M.~Mevenkamp, N.~Dean, and C.~Monma.
\newblock {NETPAD} user's guide and reference guide, 1990.

\bibitem{Ous94}
J.~Ousterhout.
\newblock {\em Tcl and the Tk Toolkit}.
\newblock Addison-Wesley, 1994.

\bibitem{SMF90}
G.~Shannon, L.~Meeden, and D.~Friedman.
\newblock {SchemeGraphs}: An object-oriented environment for manipulating
  graphs, 1990.
\newblock Software and documentation.

\bibitem{Ski90}
S.~Skiena.
\newblock {\em Implementing Discrete Mathematics: Combinatorics and Graph
  Theory with Mathematica}.
\newblock Addison-Wesley, 1990.

\end{thebibliography}
