Confluence Modulo Equivalence in Constraint Handling Rules.

Henning Christiansen, Maja H. Kirkeby

Browse the full LOPSTR paper archive.