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.
Horrocks, Ian R. and
Tobies, Stephan. 2000.
“Reasoning with Axioms: Theory and Practice.” in
KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G.
Cohn, Fausto
Giunchiglia, and Bart
Selman, pp. 285–296. San Francisco, California: Morgan Kaufmann Publishers.