Source : Free On-Line Dictionary of Computing

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