A Bi-level Programming Model and Its Algorithm for Scheduling at a Container Terminal | IEEE Conference Publication | IEEE Xplore