Reasoning about Conditional Constraint Specifications.

Raphael A. Finkel, Barry O'Sullivan

Browse the full ICTAI paper archive.