doi dblp CORALS: A real-time planner for anti-air defense operations Abder Rezak Benaskeur | Froduald Kabanza | Eric Beaudry 2010 Volume 1 Issue 2