@inproceedings{DM07ATIO,
        author = "Gilles Dowek and C. Mu{\~{n}}oz",
        title = "Conflict Detection and Resolution for 1,2,...,{N} Aircraft",
        booktitle = "Proceedings of the 7th AIAA Aviation, Technology, Integration, and Operations Conference, AIAA-2007-7737", 
        address = "Belfast, Northern Ireland",
        year = "2007"
}