Constraint Logic Programming over Unions of Constraint Theories

Cesare Tinelli, Mehdi T. Harandi. Constraint Logic Programming over Unions of Constraint Theories. Journal of Functional and Logic Programming, 1998(6), 1998.

Bibliographies