Efficient Auction Mechanisms for Carbon Emission Rights Allocation | IEEE Conference Publication | IEEE Xplore