@techreport{GMDK02ICASE,
        author = "A. Geser and C. Mu{\~{n}}oz and G. Dowek and F. Kirchner",
        title = "Air Traffic Conflict Resolution and Recovery",
        institution = "ICASE-NASA Langley",
        number = "ICASE Report No. 2002-12 NASA/CR-2002-211637",
        address = "ICASE Mail Stop 132C, NASA Langley Research Center,
                  Hampton VA 23681-2199, USA",
        month =  "May",
        year = "2002"
}