An Efficient Ant Colony System Based on Receding Horizon Control for the Aircraft Arrival Sequencing and Scheduling Problem | IEEE Journals & Magazine | IEEE Xplore