Lump-Sum Markets for Air Traffic Flow Control With Competitive Airlines | IEEE Journals & Magazine | IEEE Xplore