Solving Systems of Set Constraints (1992)

by A Aiken, E Wimmers
Venue:In Proceedings of the 7’th IEEE Symposium on Logic in Computer Science