Semirings for soft constraint solving and programming - Bistarelli, Stefano (Springer, 2004)