Computer Dictionary of Information Technology

Set Equation Transformation System

(SETS) A system for 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].