Paolo Massazza, Giancarlo Mauri, P. Righi, Mauro Torelli. A Symbolic Manipulation System for Combinatorial Problems. In Thomas Beth, Michael Clausen, editors, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986, Proceedings. Volume 307 of Lecture Notes in Computer Science, pages 88-97, Springer, 1986.
Abstract is missing.