SETS - Set Equation Transformation System. Symbolic manipulation of
Boolean equations. "Efficient Ordering of Set Expressions for Symbolic
Expansion", R.G. Worrell et al, J ACM 20(3):482-488 (Jul 1973).
Comments, Experience, Additions
Next Language: SEUS