VERACITY: Overlapping Coalition Formation-Based Double Auction for Heterogeneous Demand and Spectrum Reusability | IEEE Journals & Magazine | IEEE Xplore