Colin Hirsch, Stephan Tobies. A Tableau Algorithm for the Clique Guarded Fragment. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev, editors, Advances in Modal Logic 3, papers from the third conference on Advances in Modal logic, held in Leipzig (Germany) in October 2000. pages 257-277, World Scientific, 2000.
@inproceedings{HirschT00,
title = {A Tableau Algorithm for the Clique Guarded Fragment},
author = {Colin Hirsch and Stephan Tobies},
year = {2000},
researchr = {https://researchr.org/publication/HirschT00},
cites = {0},
citedby = {0},
pages = {257-277},
booktitle = {Advances in Modal Logic 3, papers from the third conference on Advances in Modal logic, held in Leipzig (Germany) in October 2000},
editor = {Frank Wolter and Heinrich Wansing and Maarten de Rijke and Michael Zakharyaschev},
publisher = {World Scientific},
isbn = {981-238-179-1},
}