Constraint Logic Programming over Unions of Constraint Theories.

Cesare Tinelli Mehdi T. Harandi Constraint Logic Programming over Unions of Constraint Theories. 1998 1998 Journal of Functional and Logic Programming 6 db/journals/jflp/jflp1998.html#TinelliH98