1986
A Symbolic Manipulation System for Combinatorial Problems.
[DOI]
Paolo Massazza
,
Giancarlo Mauri
,
P. Righi
,
Mauro Torelli
Proceedings of the Applied Algebra, 1986