Verification of Qualitative Constraints.

Stphane Demri, Rgis Gascon

Browse the full CONCUR paper archive.