Future ATC automation aids based upon AI technology. - John A. Scardina; Pi-Yu Ryberg; Arthur Gerstenfeld (Proc. IEEE, 1989)