A Transformational Approach for Proving Properties of the CHR Constraint Store.

Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe

Browse the full LOPSTR paper archive.