L.  Pallottino, Feron, E., and Bicchi, A., ?Conflict Resolution Problems for Air Traffic Management Systems Solved with Mixed Integer Programming?, IEEE Trans. Intelligent Transportation Systems, vol. 3, pp. 3-11, 2002.