A Tableau Algorithm for the Clique Guarded Fragment.

Colin Hirsch Stephan Tobies A Tableau Algorithm for the Clique Guarded Fragment. 257-277 2000 conf/aiml/2000 Advances in Modal Logic db/conf/aiml/aiml2000.html#HirschT00