Hirsch, Colin and
Tobies, Stephan. 2002.
“A Tableau Algorithm for the Clique Guarded Fragment.” in
Advances in Modal Logic, volume III, edited by Frank
Wolter, Heinrich Theodor
Wansing, Maarten de
Rijke, and Michael
Zakharyaschev, pp. 257–277. Singapore: World Scientific Publishing Co.