A Decision Procedure for a Class of Set Constraints (Extended Abstract)

Nevin Heintze Joxan Jaffar A Decision Procedure for a Class of Set Constraints (Extended Abstract) conf/lics/LICS5 1990 LICS 42-51 db/conf/lics/lics90.html#HeintzeJ90