Constraint Logic Programming over Unions of Constraint Theories (1998)

by Cesare Tinelli , Mehdi Harandi
Venue:Journal of Functional and Logic Programming
Citations:9 - 1 self