Semiring-based constraint logic programming: syntax and semantics (2001)

by S Bistarelli, F Rossi
Venue:ACM Trans. Program. Lang. Syst