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

In addition suitable contents:
[ 2 ] [ ACM ] [ al ] [ an ] [ at ] [ B ] [ b ] [ bo ] [ Boolean ] [ C ] [ ci ] [ CM ] [ de ] [ E ] [ er ] [ es ] [ et ] [ Express ] [ fi ] [ fo ] [ for ] [ G ] [ ie ] [ in ] [ io ] [ J ] [ la ] [ li ] [ M ] [ ma ] [ man ] [ ng ] [ ni ] [ ns ] [ O ] [ pa ] [ pr ] [ re ] [ S ] [ si ] [ st ] [ T ] [ ua ]