Our basic model is a noncooperative multi-player game in which the governments of neighboring counties trade emission reductions. We prove the existence of a market equilibrium (combining properties of Pareto and Nash equilibria) and study algorithms of searching a market equilibrium. The...