Reasoning on Data Words over Numeric Domains.

Diego Figueira, Anthony Widjaja Lin

Browse the full LICS paper archive.