Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming | Publicación