sets

from The Free On-line Dictionary of Computing (8 July 2008)

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).