Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992 / - Dean, Nathaniel; Shannon, Gregory E. (American Mathematical Society, 1994)