A Symbolic Manipulation System for Combinatorial Problems. - Paolo Massazza; Giancarlo Mauri; P. Righi; Mauro Torelli (AAECC, 1986)