A CLP language handling disjunctions of linear constraints

Bruno De Backer, Henri Beringer

International Conference on Logic Programming · 1993 · 22 citations · 0 references

Concepts