A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version). - Jeroen Spaans; Jesse Heyninck (CoRR, 2025)