@techreport{fk:rr3d02,
  author 	= "Alfons Geser and C{\'}esar Mu{\~{n}}oz and Gilles Dowek and Florent Kirchner",
  title 	= "Air Traffic Conflict Resolution and Recovery",
  institution 	= "ICASE-NASA Langley",
  number 	= "ICASE Report No. 2002-12 NASA/CR-2002-211637",
  address 	= "ICASE Mail Stop 132C, NASA Langley Research Center, Hampton VA 23681-2199, USA",
  month 	= may,
  year 		= 2002
}