@InProceedings{DGM01ATM,
  author = "Gilles Dowek and Alfons Geser and C{\'e}sar Mu{\~n}oz",
  title = "Tactical Conflict Detection and Resolution in a 3-{D} Airspace",
  booktitle = "Proceedings of the 4th USA/Europe Air Traffic Management R\&D Seminar, ATM 2001",
  address= "Santa Fe, New Mexico",
  note = {A long version appears as report NASA/CR-2001-210853 ICASE Report No. 2001-7},
  year = "2001"
}