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.

Abstract

Abstract is missing.