A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains | Publicación