TY  - RPRT
TI  - Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages
AU  - Francois Hantry
AU  - Mohand-Said Hacid
PY  - 2011
DO  - 10.4204/eptcs.68.5
UR  - https://arxiv.org/abs/1109.2656
ID  - 1109.2656
ER  -