TY - JOUR AU - Bistarelli, S. AU - Montanari, U. AU - Rossi, F. PY - 1995/aug/ TI - Constraint Solving over Semirings CY - ijcai95l ID - Bistarelli95 ER -