A core-theoretic solution for the design of cooperative agreements on transfrontier pollution