We construct a dynamic general equilibrium model of pollution and study in a holistic way the environmental policies, whereby government sets up emission caps and sells emission permits at a competitive price which can be viewed as an emission tax. Then, it uses the collected tax revenues to...