We consider an overlapping generations (OLG) economy with land as a fixed factor of production and an environmental externality on production in which tax revenue from land rent and/or from other schemes such as labor income, capital income, and production taxation can be used for environmental...