@dblp

Semiring-based contstraint logic programming: syntax and semantics.

, , and . ACM Trans. Program. Lang. Syst., 23 (1): 1-29 (2001)

Links and resources

Tags