An implicit enumeration algorithm for arrival aircraft | IEEE Conference Publication | IEEE Xplore