@inproceedings(GoreNguyen08CSP, author = {Rajeev Gor{\'e} and Linh Anh Nguyen}, title = {Sound Global Caching for Abstract Modal Tableaux}, booktitle = {Proceedings of CS\&P'2008}, editor = {Gabriela Lindemann et al.}, pages = {157-167}, year = 2008 )