(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].