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

Nevin Heintze, Joxan Jaffar

Browse the full LICS paper archive.