Confluence of CHR Revisited: Invariants and Modulo Equivalence.

Henning Christiansen, Maja H. Kirkeby

Browse the full LOPSTR paper archive.