Solving Systems of Set Constraints (Extended Abstract)

Alexander Aiken, Edward L. Wimmers

Browse the full LICS paper archive.