[ACM] JACM 20(3) July 1973

[ACM] [ACM] JACM  

R.G. Worrell et al (1973) R.G. Worrell et al "Efficient Ordering of Set Expressions for Symbolic Expansion"