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