Journal of the ACM Bibliography
R.
B. Worrell and B. L.
Hulme. Efficient ordering of set expressions for symbolic expansion.
Journal of the ACM, 20(3):482-488, July 1973.
[BibTeX entry]
Additional Key Words and Phrases:
symbolic expansion, distributive law, set expressions, Boolean
expressions, efficient ordering, symbolic manipulation
Shortcuts: