Modal tableaux based on graph-rules