Christophe Lecoutre Lakhdar Sais Sébastien Tabary Vincent Vidal Last Conflict Based Reasoning. 133-137 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#LecoutreSTV06