A Decision Procedure for a Class of Set Constraints (1991)

by Nevin Heintze, Joxan Jaffar
Venue:In Fifth Annual IEEE Symposium on Logic in Computer Science