Title: Determination of symmetric VL1 formulas
Subjects: SYM4, Symmetric functions, VL1 system, SYM4 (Computer program)