François Hantry Mohand-Said Hacid Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages FLACOS 2011 39-53 http://dx.doi.org/10.4204/EPTCS.68.5 journals/corr/abs-1109-2399 db/series/eptcs/eptcs68.html#abs-1109-2656