This paper provides an empirical evaluation of the temporal efficiency of the US Acid Rain Program, which implemented a nationwide market for trading and banking sulphur dioxide (SO2) emission allowances. We first develop a model of efficient banking and select appropriate parameter values. Then...