From Boolean Equalities to Constraints.

Sergio Antoy, Michael Hanus

Browse the full LOPSTR paper archive.