@inproceedings{MBMD09ATIO,
        author = "Jeffrey Maddalon and Ricky Butler and C{\'{e}}sar Mu{\~{n}}oz and Gilles Dowek",
        title = "A Mathematical Analysis of Conflict Prevention Information",
        booktitle = "Proceedings of the AIAA 9th Aviation, Technology, Integration, and Operations Conference, 
                     AIAA-2009-6907", 
        address = "Hilton Head, South Carolina, USA",
        month = "September",
        year = "2009"
}