Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.

Daniel Gall, Thom W. Frhwirth

Browse the full FLOPS paper archive.