Solving Systems of Set Constraints (1992)

by 1I A Aiken, E Wimmers
Venue:Proc. 71, IEEE Srnp. on Logic in Computer Science