Semirings for Soft Constraint Solving and Programming - Bistarelli, Stefano (Springer Berlin Heidelberg, 2004)