Title Pricing Electricity in Pools with Wind Producers