Thomas Wagner, Tjorben Bogon, Carsten Elfers: Incremental Generation of Abductive Explanations for Tactical Behavior. BMI 2007: 117-128