@article{Bistarelli97,
author = "S. Bistarelli and U. Montanari and F. Rossi",
journal = "Journal of the ACM",
number = "2",
pages = "201--236",
title = "{S}emiring based constraint solving and {O}ptimization",
volume = "44",
year = "1997",
}