@conference{Bistarelli95, author = "S. Bistarelli and U. Montanari and F. Rossi", address = "ijcai95l", booktitle = "ijcai95p", month = "aug", title = "{C}onstraint {S}olving over {S}emirings", year = "1995", }