An Efficient Market Design for Electricity Networks With Strategic Users Possessing Local Information | IEEE Journals & Magazine | IEEE Xplore