Solving systems of set constraints (1992)

by A Aiken, E L Wimmers
Venue:in ‘Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science’, IEEE Computer