A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)

Open in new window