@techreport{MBCD01,
  author = "C{\'e}sar Mu{\~n}oz and Ricky Butler and V{\'i}ctor Carre{\~n}o and Gilles Dowek",
  title = "On the verification of conflict detection algorithms",
  number = "NASA/TM-2001-210864",
  institution = "NASA Langley Research Center", 
  address = "NASA LaRC,Hampton VA 23681-2199, USA",
  month= "May",
  year = "2001"
}