@inproceedings{DM07ATIO,
    author = "Gilles Dowek and C{\'{e}}sar Mu{\~{n}}oz",
    title = "Conflict Detection and Resolution for 1,2,\ldots {N} Aircraft",
    booktitle = "Proceedings of the 6th AIAA Aviation Technology, Integration and Operations Conference (ATIO)",
    address="Belfast, Northern Ireland",
    month= "September",
    year = "2007"
}