Coalitional Games With Intervention: Application to Spectrum Leasing in Cognitive Radio | Publicación