@techreport{DMG01ICASE,
        author = "G. Dowek and C. Mu{\~n}oz and A. Geser",
        title = "Tactical Conflict Detection and Resolution in a 
                 3-{D} Airspace",
        institution = "ICASE-NASA Langley",
        number = "NASA/CR-2001-210853 ICASE Report No. 2001-7",
        address = "ICASE Mail Stop 132C, NASA Langley Research Center,
                  Hampton VA 23681-2199, USA",
        month =  "April",
        year = "2001"
}