@techreport{MBCD01,
  author = "C. Mu{\~n}oz and R.W. Butler and V. Carre{\~n}o and G. 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"
}