Constraint logic programming over unions of constraint theories (1998)

by C Tinelli, M T Harandi
Venue:Journal of Functional and Logic Programming